Designware: Software development by refinement

MaRDI QIDQ2751746zbMATH OpenFDO

Authors Douglas R. Smith

Publication date 21 October 2001

zbMATH Keywords

designwareplanwaresoftware development by refinementspecware

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1497802
• scientific article; zbMATH DE number 1390335
• A program refinement tool
• scientific article; zbMATH DE number 177257
• Theory and Applications of Models of Computation

Cited in

(5)

• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1497802 (Why is no real title available?)
• Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems
• Toward an Automatic Approach to Greedy Algorithms
• A problem reduction based approach to discrete optimization algorithm design

This page was built for publication: Designware: Software development by refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751746)