TY - GEN
T1 - The B-Method
AU - Abrial, J. R.
AU - Lee, M. K.O.
AU - Neilson, D. S.
AU - Scharbach, P. N.
AU - Sørensen, I. H.
N1 - 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 [email protected].
PY - 1991
Y1 - 1991
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85030852176&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85030852176&origin=recordpage
U2 - 10.1007/BFb0020001
DO - 10.1007/BFb0020001
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9783540548683
VL - 552 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 398
EP - 405
BT - VDM 1991 Formal Software Development Methods: Tutorials - 4th International Symposium of VDM Europe, Proceedings
PB - Springer Verlag
T2 - 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991
Y2 - 21 October 1991 through 25 October 1991
ER -