Encyclopedia > B specification language

  Article Content

B specification language

B is a specification language by Jean-Raymond Abrial of B Core UK, Magdalen Centre, Oxford Science Park, Oxford OX4 4GA. B is related to Z and supports development of C code from specifications. B has been used in major safety-critical system specifications in Europe, and is currently attracting increasing interest in industry. It has robust, commercially available tool support for specification, design, proof and code generation.

The method of software development based on B is known as the B method.

Compared to Z, B is more low-level and more focused on how computers actually work than on abstract mathematical theories -- hence it is more straightforward to implement a specification written in B than one in C.


This article was originally based on material from FOLDOC, used with permission. Update as needed.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Fremantle

... as Fremantle prison through until 1991. Fremantle Prison was once one of the most notorious prisons in the British Empire. It housed British convicts, local prisoners, ...