A Formal Method for the Abstract Specification of Software

DOI10.1145/828.829MaRDI QIDQ3765228zbMATH OpenOpenAlexFDO

Authors J. W. McLean

Publication date 1984

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/828.829

zbMATH Keywords

semanticssoundnessformal specificationcorrectnessCompletenesstrace specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3936465
• scientific article; zbMATH DE number 194792
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• Specification of software systems.
• A formally grounded software specification method

Cited in

(6)

• scientific article; zbMATH DE number 1515322 (Why is no real title available?)
• A formally grounded software specification method
• Formal Specification - A Comparison of Two Techniques
• Representation of semiautomata by canonical words and equivalences. II: Specification of software modules
• Applying string-rewriting to sequence-based specification
• Specification of data restructuring software based on the attribute method

This page was built for publication: A Formal Method for the Abstract Specification of Software

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