Abstract
This chapter will cover the stages of development from a complete and validated specification through successive stages of refinement, involving design decisions about how certain specification elements should be expressed in a more code-oriented manner, until a stage is reached which corresponds to an immediately executable system. This process is a key advantage of B over earlier formal methods, particularly Z, which were designed mainly for use at the specification and requirements capture stages.
This is a preview of subscription content, log in via an institution to check access.
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). Design and Implementation. 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_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1494-9_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-76033-7
Online ISBN: 978-1-4471-1494-9
eBook Packages: Springer Book Archive