軽量(light weight)形式手法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)
「形式手法」の記事における「軽量(light weight)形式手法」の解説
実際の開発に携わる人々の中には、形式手法コミュニティが仕様記述と設計の完全な形式化を強調しすぎていると感じている。彼らは対象となるシステム自体の複雑性だけでなく使用する言語の表現能力が完全かどうかが形式化を困難にしていると主張する。代替案として様々な軽量（ライトウェイト）な形式手法が提案されてきた。それらは部分的な仕様記述と応用に注力したものである。このようなライトウェイトな形式手法の例として、型システム、uppaal Alloy オブジェクトモデリング記法、Z言語によるユースケース駆動型開発、CSK VDM ツールセットがある。
※この「軽量(light weight)形式手法」の解説は、「形式手法」の解説の一部です。
「軽量(light weight)形式手法」を含む「形式手法」の記事については、「形式手法」の概要を参照ください。
ウィキペディア小見出し辞書の「軽量形式手法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 軽量形式手法のページへのリンク
