A single complete refinement rule for Z

DOI10.1093/LOGCOM/10.5.663zbMath0966.68141OpenAlexW2078077003MaRDI QIDQ4522331

John Derrick

Publication date: 19 December 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/16369/1/A_single_complete_refinement_rule_for_Z.pdf

zbMATH Keywords

data refinementZ specification language

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

An analysis of refinement in an abortive paradigm ⋮ A Practical Single Refinement Method for B ⋮ Guarded Operations, Refinement and Simulation

This page was built for publication: A single complete refinement rule for Z