ソフトウェア SPEC L-PERFECT
要求仕様を簡単な文法で正確に書くツールです。
ソフトウェア要求仕様書はプログラムが実現すべき要件からなる文の集まりです。文には要件の説明も含まれ ますが、最終的には実現すべきことが「～ならば、～せよ、そうでないならば、～せよ」という条件付き命令文 と、「～せよ」だけの条件のない命令文で表現されます。「～」は文で、１つの主語と１つの述語、または１つの 目的語と１つの命令述語からなります（単位文）。「ならば」と否定の「そうでない（ならば）」を単位文接続詞 とよぶこととします。すると、仕様書は単位文と単位文接続詞で記述できます。
- 企業：株式会社ジェーエフピー
- 価格：応相談
