はじめに

上流工程ではどの程度日本語が使われているのかを調査するため、工程上の位置づけは内部設計の上になりますが、要求仕様記述段階での使用が主に想定されているVDM(Vienna Development Method)¹の具体的な記述例を引き続き² 調査しました。

この記事内容の作業目的

内部仕様の記述用に設計したロジック仕様記述言語 Re:Mind（リマインド）³ が要求仕様記述用途で使用できるか、不足する言語仕様要件はなにかといった点を検討しています。要求仕様->内部仕様->実装で一貫した形式記述を採用することで、開発工程の生産性向上に寄与することが目標です。ここでいう「一貫した形式記述」とは、VDMのような数学形式に限定されません。