Formal Specification - A Comparison of Two Techniques

DOI10.1093/COMJNL/30.4.316MaRDI QIDQ4727420zbMATH OpenOpenAlexFDO

Authors D. A. Duce, E. V. C. Fielding

Publication date 1987

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/30.4.316

zbMATH Keywords

algebraic techniquesVDMOBJconstructive techniquesGraphical Kernel System (GKS)ISO computer graphics standard

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1350767
• Formal specification and verification
• A formally grounded software specification method
• scientific article; zbMATH DE number 1481757
• Formal methods: Importance, experience, and comparative analysis
• A Formal Method for the Abstract Specification of Software

Cited in

(1)

• Formal specification with B

This page was built for publication: Formal Specification - A Comparison of Two Techniques

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