𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Designing high quality system/software architectures

✍ Scribed by Lawrence Chung; José Luis Garrido; Nary Subramanian; Manuel Noguera; Kawtar Benghazi


Book ID
104092007
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
182 KB
Volume
75
Category
Article
ISSN
0167-6423

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