B-Method

B-Methodとは、AMN という仕様記述言語(兼プログラミング言語)を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。


B-Methodとは、AMN という仕様記述言語(兼プログラミング言語)を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
Read article on Wikipedia

B-Method

The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.


The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
Read article on Wikipedia