๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Composition of Structured Process Specifications

โœ Scribed by Samira Sadaoui

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
173 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Teaching the writing and role of specifi
Teaching the writing and role of specifications via a structured teardown process
โœ Tokio Abe; Patrick Starr ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 162 KB

The research objective is to develop teaching materials for learning engineering design at the college level where students are required to have basic engineering knowledge, but where no design experience is needed. The method structures and interprets the take-apart activities from the perspective

Dynamic process composition and communic
Dynamic process composition and communication patterns in irregularly structured applications
โœ Everaars, C. T. H.; Arbab, F.; Koren, B. ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 143 KB ๐Ÿ‘ 1 views

In this paper we describe one experiment in which a new co-ordination language, called MANIFOLD, is used to restructure an existing sequential Fortran 77 code from computational fluid dynamics (CFD), into a parallel application. MANIFOLD is a co-ordination language developed at CWI (Centrum voor Wis

Automated dismemberment of JSD process s
Automated dismemberment of JSD process specifications
โœ Andrew Bass; Bryan Ratcliff ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 744 KB

In the initial phase of Jackson System Development (JSD), behaviour in the real world is modelled using long-running processes. As direct implementation of such processes can be impractical, a transformational approach called dismemberment is sometimes applied to allow the separate scheduling of por