𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An implementation-directed design method for microcontroller software

✍ Scribed by Miroslav Švéda


Book ID
107910578
Publisher
Elsevier Science
Year
1994
Weight
772 KB
Volume
40
Category
Article
ISSN
0165-6074

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