Abstract
When specifying a system, the refinement process of the B method enables (inner part) and the interface (outer part) of a component, from its abstraction to its implementation, while verifying, by proof at each refinement step, that there is no contradiction between two successive refinement levels
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
VSIA, : System Level Interface Behavioural Documentation Standard (v1.1.0)
Abrial J.R.: Event Model Decomposition (2002)
Abrial J.R: Guidelines to Formal System Studies (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media New York
About this chapter
Cite this chapter
Lecomte, T. (2004). Interface-Based Synthesis Refinement in B. In: Mermet, J. (eds) UML-B Specification for Proven Embedded Systems Design. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-2867-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2867-0_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5256-1
Online ISBN: 978-1-4020-2867-0
eBook Packages: Springer Book Archive