A formal software development approach using refinement calculus

DOI10.1007/BF02943203zbMath0981.68019MaRDI QIDQ5942699

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

Publication date: 16 December 2001

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

zbMATH Keywords

complete object-oriented ZCOOZ

Mathematics Subject Classification ID

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

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theoretical basis for stepwise refinement and the programming calculus
• A single complete rule for data refinement
• Data refinement of predicate transformers
• The specification statement

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