scientific article; zbMATH DE number 1390335

MaRDI QIDQ4934624zbMATH OpenFDO

Authors Douglas R. Smith

Publication date 17 January 2000

zbMATH Keywords

software development

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 177527
• scientific article; zbMATH DE number 1497802
• A program refinement tool
• Algebraic foundations for specification refinements

Cited in

(8)

• Designware: Software development by refinement
• Theory presentation combinators
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1497802 (Why is no real title available?)
• Defining effectiveness using finite sets. A study on computability
• A logical framework to model software development by multiple agents following a common specification
• Pop-Refinement
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

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 Q4934624)