Understanding, Explaining, and Deriving Refinement

DOI10.1007/978-3-030-15792-0_8zbMath1486.68008OpenAlexW2941454357MaRDI QIDQ5861785

John Derrick, Eerke A. Boiten

Publication date: 2 March 2022

Published in: From Astrophysics to Unconventional Computation (Search for Journal in Brave)

Full work available at URL: https://www.dora.dmu.ac.uk/handle/2086/17728

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Cites Work

• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Relational concurrent refinement
• Introducing extra operations in refinement
• The existence of refinement mappings
• Relational concurrent refinement. II: Internal operations and outputs
• Specifying and refining internal operations in \(Z\)
• Constructive consistency checking for partial specification in Z
• Distributed cooperation with action systems
• Refinement
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item