実装者を迷わせない，詳細は形式記述言語で - 組み込みソフト - Tech-On！
出典：日経エレクトロニクス 2005年12月19日号pp.118-121（記事は執筆時の情報に基づいており，現在では異なる場合があります）ソフトウエアの仕様は現在，多くが自然言語で書かれている。 形式も人によってバラバラだ。 自然言語の持つあいまいさや仕様記述の方法論の不在が 仕様の解釈ミスを助長し，ソフトウエア開発の手戻りを招いてきた。 仕様を記述するには「形式的な仕様記述言語」と...
2009年3月10日火曜日
実装者を迷わせない，詳細は形式記述言語で - 組み込みソフト - Tech-On！
登録:
コメントの投稿 (Atom)
0 コメント:
コメントを投稿