Abstract
The B-method is designed to provide a homogeneous language and a methodology for the formal specification, design and implementation of real-life software systems. Therefore, the features of incremental construction and proof have been guiding principles in its development. A full account of the B-method and its theoretical foundations is to appear shortly as a book by J.-R. Abrial. An environment, the B Toolkit, supports formal development activities from specification to coding. The toolkit itself is supported by a platform, the B-tool, which is now commercially available from Edinburgh Portable Compilers Ltd. The B Toolkit will soon be ready for alpha testing, and it is planned to make it commercially available in due course.
Preview
Unable to display preview. Download preview PDF.
References
B-Tool User Manual and B-Tool Reference Manual. Edinburgh Portable Compilers Ltd., 1991.
Dijkstra, E.W. A Discipline of Programming. Prentice Hall, 1976.
Abrial, J.-R. A Formal Approach to Large Software Construction, in Mathematics of Program Construction (ed. J. L. A. van de Snepscheut). Springer Verlag, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abrial, J.R., Lee, M.K.O., Neilson, D.S., Scharbach, P.N., Sørensen, I.H. (1991). The B-method. In: Prehn, S., Toetenel, H. (eds) VDM '91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 552. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020001
Download citation
DOI: https://doi.org/10.1007/BFb0020001
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54868-3
Online ISBN: 978-3-540-46456-3
eBook Packages: Springer Book Archive