Understanding, Explaining, and Deriving Refinement

DOI10.1007/978-3-030-15792-0_8MaRDI QIDQ5861785zbMATH OpenOpenAlexFDO

Authors John Derrick, Eerke 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) History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Refinement by Interpretation in a General Setting
• On the expressiveness of refinement settings
• Principles and applications of refinement types
• Learning refinement types
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Refinement concepts formalised in higher order logic
• Refining abstract interpretations
• Formal Methods for Components and Objects
• Refinement, conformance and inheritance
• scientific article; zbMATH DE number 1949638

Cites work

• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Constructive consistency checking for partial specification in Z
• Distributed cooperation with action systems
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1303985 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• scientific article; zbMATH DE number 1569130 (Why is no real title available?)
• scientific article; zbMATH DE number 795667 (Why is no real title available?)
• Introducing extra operations in refinement
• Modeling in Event B. System and software engineering.
• Refinement
• Relational concurrent refinement
• Relational concurrent refinement. II: Internal operations and outputs
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Specifying and refining internal operations in \(Z\)
• The existence of refinement mappings
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(4)

• Refinement to Imperative/HOL
• Refinement by Interpretation in a General Setting
• Formal basis for the refinement of rule based transition systems
• An analysis of refinement in an abortive paradigm

This page was built for publication: Understanding, Explaining, and Deriving Refinement

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