Definitions for b-method
This page provides all possible meanings and translations of the word b-method
The B method is method of software development based on B, a tool-supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe. It has robust, commercially available tool support for specification, design, proof and code generation. Compared to Z, B is slightly more low-level and more focused on refinement to code rather than just formal specification — hence it is easier to correctly implement a specification written in B than one in Z. In particular, there is good tool support for this. Recently, another formal method called Event-B has been developed. Event-B is considered an evolution of B. It is a simpler notation, which is easier to learn and use. It comes with tool support in the form of the Rodin tool.
Find a translation for the b-method definition in other languages:
Select another language: