ウィキペディア |
形式仕様記述
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2011/04/18 05:34 UTC 版)
形式仕様記述(けいしきしようきじゅつ、Formal Specification)とは、ソフトウェアやハードウェアを開発する際の仕様を数学的に記述する手法或いはその結果得られる記述。「仕様はシステムが何をすべきかを記述するものであり、どのように実装すべきかを記述する必要はない」という考え方を強調し、集合論や論理式を用いて抽象的かつ厳密にシステムを記述することができる。
- 1 形式仕様記述とは
- 2 形式仕様記述の概要
形式仕様記述に関連した本
- VDM++による形式仕様記述 (トップエスイーシリーズ 実践講座) 石川 冬樹 近代科学社
- Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座) 来間 啓伸 近代科学社
形式仕様記述に関係した商品