B-Method
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。 B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。 B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。 B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。
出典: Wikipedia「B-Method」 · CC BY-SA 4.0
この記事を共有: X · Bluesky