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

Transformational approach to software design

โœ Scribed by S Rotenstreich

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
1001 KB
Volume
34
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Towards a transformational approach to p
Towards a transformational approach to program verification
โœ Myla Archer; Amy Lo; Ronald A. Olsson ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 182 KB ๐Ÿ‘ 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be

Bringing design to software
Bringing design to software
โœ Sandusky, Robert J. ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 27 KB

zational culture, including issues of power and ownership of 85491-0.) the prototype within the organization. Examples used in this chapter range widely, from discussion of the use of clay models in the American automobile industry to the use of prototyping Bringing Design to Software is an excellen