The B-Method

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with host publication)peer-review

52 Scopus Citations
View graph of relations

Author(s)

  • J. R. Abrial
  • M. K.O. Lee
  • D. S. Neilson
  • P. N. Scharbach
  • I. H. Sørensen

Detail(s)

Original languageEnglish
Title of host publicationVDM 1991 Formal Software Development Methods: Tutorials - 4th International Symposium of VDM Europe, Proceedings
PublisherSpringer Verlag
Pages398-405
Volume552 LNCS
ISBN (Print)9783540548683
Publication statusPublished - 1991
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume552 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Title4th International Symposium of VDM on Formal Software Development Methods, VDM 1991
PlaceNetherlands
CityNoordwijkerhout
Period21 - 25 October 1991

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.

Bibliographic Note

Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to lbscholars@cityu.edu.hk.

Citation Format(s)

The B-Method. / Abrial, J. R.; Lee, M. K.O.; Neilson, D. S. et al.
VDM 1991 Formal Software Development Methods: Tutorials - 4th International Symposium of VDM Europe, Proceedings. Vol. 552 LNCS Springer Verlag, 1991. p. 398-405 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 552 LNCS).

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with host publication)peer-review