Abstract
In this chapter we will examine each of the life cycle stages of B AMN development from requirements analysis through to the creation of a complete specification. A number of case studies and examples are used to illustrate these stages and the choices that can be made in expressing the semantics of a system using B. We will emphasise a particular approach using translation from diagrammatic models to inspire the choice of features of the formal specification, however it is quite feasible to directly write formal specifications without prior analysis or such a translation process (people have been writing Z or VDM specifications this way for years). For complex systems a loss of quality is nevertheless likely to result from omitting analysis.
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). Analysis and Specification. 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_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1494-9_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-76033-7
Online ISBN: 978-1-4471-1494-9
eBook Packages: Springer Book Archive