A formal software development approach using refinement calculus

DOI10.1007/BF02943203MaRDI QIDQ5942699zbMATH OpenFDO

Authors Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng

Publication date 16 December 2001

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02943203

zbMATH Keywords

complete object-oriented ZCOOZ

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Checking Z Data Refinements Using Traces Refinement
• scientific article; zbMATH DE number 1615985
• ZRC -- A refinement calculus for Z
• scientific article; zbMATH DE number 177257
• scientific article; zbMATH DE number 1612491

Cites work

• A single complete rule for data refinement
• A theoretical basis for stepwise refinement and the programming calculus
• Data refinement of predicate transformers
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• The specification statement

Cited in

(4)

• scientific article; zbMATH DE number 483965 (Why is no real title available?)
• Formal software development in the Verification Support Environment (VSE)
• ZB 2005: Formal Specification and Development in Z and B
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

Describes a project that uses

Uses Software

• Z

This page was built for publication: A formal software development approach using refinement calculus

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