B-Method
Sign in to saveThe 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.
Article · 日本語
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
Abstract from DBpedia / Wikipedia · CC BY-SA