e/B-Method

Information
has gloss	eng: B is a tool-supported formal method based around AMN (Abstract Machine Notation), used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the Paris Métro Line 14), and is attracting increasing interest in industry. It has robust, commercially available tool support for specification, design, proof and code generation.
lexicalization	eng: B method
lexicalization	eng: B-Method
instance of	e/Computer Language

Meaning
French
has gloss	fra: La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement dun programme, puis par raffinements successifs, daboutir à un modèle concret, sous-ensemble du langage transcodable en Ada ou en C.
lexicalization	fra: Methode B
lexicalization	fra: méthode B
Japanese
has gloss	jpn: B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
lexicalization	jpn: B-Method
Swedish
has gloss	swe: B är en mjukvaruutvecklingsmetod framtagen av Jean-Raymond Abrial, tillika ett språk och CASE-verktyg från B-Core (UK) Ltd..
lexicalization	swe: b
Ukrainian
has gloss	ukr: B - загальний термін, яким називають B-Method (формальний метод розробки програмного забезпечення), процес такої розробки, мову запису специфікації, і інструменти що їх підтримують (B-Toolkit)
lexicalization	ukr: B-метод

Media
media:img	Click'n'prove project view.png
media:img	Click'n'prove proof interaction.png
media:img	LaTeX logo.svg
media:img	Screen rodin.png