Specification statements and refinement

DOI10.1147/RD.315.0546MaRDI QIDQ3766811zbMATH OpenOpenAlexFDO

Authors Ken Robinson, Carroll Morgan

Publication date 1987

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.315.0546

zbMATH Keywords

VDMfirst-order predicate calculuspredicatescalculus of refinementdevelopment methoddirectly executable operations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 756080
• Requirements, specifications, and minimal refinement
• scientific article; zbMATH DE number 1368951
• The Foundations of Specification
• scientific article; zbMATH DE number 821280
• scientific article; zbMATH DE number 1424058
• Reusing specifications through refinement levels
• Formal Specification and Design
• scientific article; zbMATH DE number 1262881

Cited in

(6)

• Joining specification statements
• A development calculus for specifications
• scientific article; zbMATH DE number 139814 (Why is no real title available?)
• Data refinement of predicate transformers
• Functional programs as executable specifications
• Specification completion for IOCO

This page was built for publication: Specification statements and refinement

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