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