Refinement

DOI10.1007/978-3-319-92711-4MaRDI QIDQ4558901zbMATH OpenOpenAlexFDO

Authors John Derrick, Eerke Boiten

Publication date 30 November 2018

Full work available at URL https://doi.org/10.1007/978-3-319-92711-4

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1512629
• scientific article; zbMATH DE number 1949638
• Formalization of the semantics of the language Refal
• scientific article; zbMATH DE number 756080
• scientific article; zbMATH DE number 1487498
• scientific article; zbMATH DE number 4041243
• scientific article; zbMATH DE number 1265030
• Refinement concepts formalised in higher order logic
• scientific article; zbMATH DE number 555217

Cited in

(21)

• Spot the difference: a detailed comparison between B and Event-B
• Refinement and retrenchment for programming language data types
• Meta-modelling for formal software development
• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• Refinement via consistency checking in MDA
• Generic tools via general refinement
• Refinement inference for sequence diagrams
• Refinement of structured interactive systems
• How to brew-up a refinement ordering
• Refining emergent properties
• A refinement methodology for object-oriented programs
• scientific article; zbMATH DE number 1487498 (Why is no real title available?)
• Formal basis for the refinement of rule based transition systems
• Requirements, specifications, and minimal refinement
• A superposition operator for the refinement of algebraic models
• Abstraction, refinement, enrichment
• General refinement. I: Interfaces, determinism and special refinement
• General refinement. II: Flexible refinement
• Contexts, refinement and determinism
• Understanding, Explaining, and Deriving Refinement
• Relation-algebraic verification of disjoint-set forests

This page was built for publication: Refinement

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