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...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Principles of method B
Method B and the software production process
Article included in this offer
"Safety and risk management"
(
461 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
