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

Use of structured design and development in the validation of application software

โœ Scribed by Megan Klein Gruber

Book ID
107759965
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
539 KB
Volume
33
Category
Article
ISSN
0019-0578

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The design and application of structured
The design and application of structured types in Ptolemy II
โœ Yang Zhao; Yuhong Xiong; Edward A. Lee; Xiaojun Liu; Lizhi C. Zhong ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 616 KB

Ptolemy II is a component-based design and modeling environment. It has a polymorphic type system that supports both base types and structured types, such as arrays, records, and unions. This paper presents the extensions to the base type system that support structured types. In the base type system