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.
| Original language | English |
|---|---|
| Pages (from-to) | 398-405 |
| Number of pages | 8 |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 552 |
| DOIs | |
| Publication status | Published - 1991 |
| Externally published | Yes |
| Event | 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 - Noordwijkerhout, Netherlands Duration: 21 Oct 1991 → 25 Oct 1991 |
Fingerprint
Dive into the research topics of 'The B-method'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver