Abstract
The B Method is a full spectrum formal software development method that covers the software process from specification to implementation. The method uses state machines, defined using logic and set theory with a notation similar to that of Z, that export operations. The method supports a notion of refinement and implementation, which is based on the notion of refinement in the refinement calculus with the exception that there is no distinction between procedural and data refinement. The B Toolkit is a configuration tool that manages developments under the B Method, generating proof obligations and supporting tools for the discharge of those proof obligations. There is also support for the generation of documentation, and for the browsing of developments.
Preview
Unable to display preview. Download preview PDF.
References
J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
B. Dehbonei and F Mejia. Applications of Formal Methods, chapter Formal Development of Safety-critical Software Systems, pages 227–252. Prentice Hall, 1995.
Edsgar W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
C. B. Jones. Program specification and verification in VDM. Technical Report UMCS 86-10-5, University of Manchester, 1986.
C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, 2nd edition, 1990. ISBN 0-13-880733-7.
K. Lano. The B Language and Method — a guide to practical formal development. Springer-Verlag, 1996.
K. Lano and H. Haughton. Specification in B: an Introduction using the B-Toolkit. Imperial College Press, 1996.
Carroll Morgan. Programming from Specifications. International Series in Computer Science. Prentice-Hall, 1990.
C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546–555, September 1987.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, 2nd edition, 1992.
John B. Wordsworth. Software Engineering with the B-Method. Addison-Wesley, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Robinson, K. (1997). The B method and the B toolkit. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000503
Download citation
DOI: https://doi.org/10.1007/BFb0000503
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive