Liberating data refinement

DOI10.1007/10722010_11MaRDI QIDQ2721099zbMATH OpenFDO

Authors John Derrick, Eerke Boiten

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722010_11

zbMATH Keywords

formal methodsrefinementZ

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Laws of data refinement
• A single complete refinement rule for Z
• Checking Z Data Refinements Using Traces Refinement
• scientific article; zbMATH DE number 3943003
• Refinement in Z and object-Z. Foundations and advanced applications

Cited in

(4)

• Supporting module reuse in refinement
• Automatic Data Refinement
• Observational refinement process
• A formal software development approach using refinement calculus

This page was built for publication: Liberating data refinement

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