Abstract
This chapter will provide three case studies in the B development method. The first gives an example of the refinement of entity-relationship-attribute models, the second is a standard reactive system example, and the third is a detailed development of the vending machine case study. The first is an example of the “monolithic” approach to implementation structuring, the second an example of “separate decomposition” and the third an example of “continuity of structure”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Lano, K. (1996). Case Studies. In: The B Language and Method. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-1494-9_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1494-9_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-76033-7
Online ISBN: 978-1-4471-1494-9
eBook Packages: Springer Book Archive