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

Software for quality

โœ Scribed by Sellars Datasystems Ltd


Book ID
103713756
Publisher
Elsevier Science
Year
1989
Weight
134 KB
Volume
22
Category
Article
ISSN
0308-9126

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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

Software quality
โœ Hart, G. ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› The Institution of Electrical Engineers โš– 200 KB