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

Designing software for children

โœ Scribed by R. M. McKeag; Ann Eves; E. J. Rooney


Book ID
112210135
Publisher
John Wiley and Sons
Year
1984
Tongue
English
Weight
551 KB
Volume
14
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Designing software for producibility
โœ David N. Card ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 754 KB
Designing software for provable correctn
โœ Michael Dyer ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 941 KB

A bstract: Formal software design methods significantly improve the quality of software designs and products. They introduce new levels of defect prevention with a rigorous design process for decomposing product requirements, systematically verifying the correctness of each decomposition and maintai