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

calculus of refinementdevelopment methoddirectly executable operationsfirst-order predicate calculuspredicatesVDM

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 756080
• Requirements, specifications, and minimal refinement
• Specification semantics
• The Foundations of Specification
• scientific article; zbMATH DE number 821280
• Specification refinement with System F
• Reusing specifications through refinement levels
• Formal Specification and Design
• Formal specification

Cited in

(7)

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

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)