scientific article; zbMATH DE number 1497802

MaRDI QIDQ4499220zbMATH OpenFDO

Authors Douglas R. Smith

Publication date 4 March 2001

zbMATH Keywords

DesignwarePlanwaresoftware development by refinementSpecware

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Designware: Software development by refinement
• scientific article; zbMATH DE number 1390335
• A program refinement tool

Cited in

(5)

• On what exactly goes on when software is developed step-by-step. II: The sequel
• Designware: Software development by refinement
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1390335 (Why is no real title available?)
• Industrial applications of software synthesis via category theory -- case studies using specware

This page was built for publication:

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