3. Principles of method B
Just a few decades ago, the only formalism used in software was code, which was mandatory if you wanted the machine to understand what you were asking it to do! To give a simple definition, the B method is a method for specifying, designing, coding and proving software in a rigorous and progressive way.
3.1 General principles of method B
This method uses a single mathematical language throughout the design process, enabling each step to be verified with mathematical proofs. The difficulty of verifying all the transformations from the initial specification to the code (see B0), which will be transformed into a conventional language, is thus resolved. This is a progressive method, as the language itself takes into account the proof aspect, so an additional model...
The Ultimate Scientific and Technical Reference
This article is included in
Safety and risk management
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Principles of method B
Method B and the software production process
Bibliography
The Ultimate Scientific and Technical Reference
