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

Using Design Explanation within the Formal Object-Oriented Method

โœ Scribed by L. Nguyen; P. A. Swatman; G. Shanks

Book ID
106227469
Publisher
Springer-Verlag
Year
1999
Tongue
English
Weight
259 KB
Volume
4
Category
Article
ISSN
0947-3602

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The formal derivation of parallel triang
The formal derivation of parallel triangular system solvers using a coordination-based design method
โœ Michel R.V. Chaudron; Arno C.N. van Duin ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 274 KB

We present an application of a method for the design of parallel programs that addresses the functional aspects and the operational aspects in separate phases. In the first phase, the functional aspects are specified using the Gamma model. This model encourages a specification with a minimum of cont