The Composition of Event-B Models

DOI10.1007/978-3-540-87603-8_17MaRDI QIDQ3535377zbMATH OpenOpenAlexFDO

Authors M. Poppleton

Publication date 11 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/266487/1/poppletonABZ2008.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080014
• Consistency-preserving refactoring of refinement structures in Event-B models
• The behavioural semantics of Event-B refinement
• Agreement between conformance and composition
• scientific article; zbMATH DE number 2227867

Cites work

• Algebraic Methodology and Software Technology
• Fusion and simultaneous execution in the refinement calculus
• scientific article; zbMATH DE number 2013594 (Why is no real title available?)
• scientific article; zbMATH DE number 2080010 (Why is no real title available?)
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Software Product Line Engineering
• Stepwise refinement of communicating systems
• Tentative steps toward a development method for interfering programs
• The B-Book

Cited in

(6)

• Agreement between conformance and composition
• scientific article; zbMATH DE number 2080014 (Why is no real title available?)
• Building Specifications in the Event-B Institution
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Linking event-B and concurrent object-oriented programs
• Composing model programs for analysis

This page was built for publication: The Composition of Event-B Models

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