A single complete refinement rule for Z

DOI10.1093/LOGCOM/10.5.663MaRDI QIDQ4522331zbMATH OpenOpenAlexFDO

Authors John Derrick

Publication date 19 December 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/16369/1/A_single_complete_refinement_rule_for_Z.pdf

zbMATH Keywords

data refinementZ specification language

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A single complete rule for data refinement
• Prespecification in data refinement
• scientific article; zbMATH DE number 3943003
• scientific article; zbMATH DE number 2013581
• Laws of data refinement

Cited in

(12)

• Sound and complete rules for data reification
• scientific article; zbMATH DE number 1612491 (Why is no real title available?)
• Guarded operations, refinement and simulation
• A Practical Single Refinement Method for B
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 2013581 (Why is no real title available?)
• scientific article; zbMATH DE number 1759495 (Why is no real title available?)
• Zhdanov's rules work both ways
• Prespecification in data refinement
• A single complete rule for data refinement
• The existence of refinement mappings
• An analysis of refinement in an abortive paradigm

This page was built for publication: A single complete refinement rule for Z

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