Systematic software development using VDM
Systematic software development using VDM
Programming from specifications
Programming from specifications
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Software engineering with B
A Discipline of Programming
ESOP '86 Proceedings of the European Symposium on Programming
| Hi-index | 0.00 |
This paper introduces B, a mathematically based method and a computer based tool-kit for software engineering. The B-Method provides a notation and a method for the formal specification and design of software. Incremental construction of layered software as well as incremental mathematical verifcation have been guiding principles in its development. The method uses a 'pseudo' programming language Abstract Machine Notation as the language for design as well as for specification within the software process. AMN is based on an extension of Dijkstra's guarded command language, with built-in structuring mechanisms for the construction of larger systems. The B-Method is explained in The B-book [Abrial, 1997]. The B-Toolkit supports the method over the spectrum of activities from specification through design and implementation into maintenance. The B-Toolkit comprises automatic and interactive theorem-proving assistants, and a set of software development tools: an AMN syntax & type checker, a specification animator and code generators, and promotes an object oriented approach at all stages of development. All tools are integrated into a window-based development environment. The B-Toolkit is developed and sold by B-Core.