Menu
I heard about B-Method which is invented in France. Is it an alternative to traditional programming languages like c++ and java or is it a completely different thing with different purposes?
618
B is almost extinct, having been superseded by the C language.
The B programming language was derived from BCPL(Basic Combined Programming Language). The name of B programming language may be a diminution of BCPL. B was created for recursive, non-numeric, applications that are independent of machines, such as system and language software.
It was based on CPL (Combined Programming Language), which had been first condensed into the B programming language—a stripped-down computer programming language—created in 1969–70 by Ken Thompson, an American computer scientist and a colleague of Ritchie.
Quote the B-website:
B is a formal specification method which, thanks to an adequate language, allows for highly accurate expressions of the properties required by specifications. One can then prove in a fully automated fashion that these properties are unambiguous, coherent and are not contradictory. This then allows us to mathematically prove that these properties are taken into account as the design stages progress.
Therefore, this method and its associated proof allow for: (1) Clear technical specifications and system specifications to be reached that are structured, coherent and unambiguous, and (2) The development of software that is contractually guaranteed to be fault-free.
To answer your question: No, B-Method is not an alternative to programming languages. It’s a way of creating blueprints for programs and for verifying that the thing you created really works as described by the blueprints. If you don’t understand this you can safely forget about it.
143
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
