b specification language

B is a specification language used in the development and analysis of computer software. It was developed by Jean-Raymond Abrial of B Core UK, Oxford, England. 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 Z.

<< Previous

Word Browser

Next >>

siege of plzen
edinburgh academy
william king (poet)
achaians
maria goeppert mayer
enciclopedia libre
motorola cpu32
liberal unionist party
list of capitals of subnational entities
andy white
battle of narva

let it be
flyweight pattern
legal instruments of jehovah's witnesses
memento pattern
abbey road
charles montagu, 1st earl of halifax
geoff emerick
naphtali daggett
lien chan
isotropic antenna
al hakim mosque

legislative yuan
fiber
national assembly
marx
atoll programming language
access query language
bs2000
siemens nixdorf informationssysteme
bugsys
tutchone language
basic encoding rules

packed encoding rules
canonical encoding rules
vienna development method
vdm specification language
pittsburgh english
specification language
z simulation language
z plus plus
assignment problem
world customs organization
lord haw haw