株式会社ジェーエフピー
JFP,Inc.
ブース番号
D-17
岩手県盛岡市材木町2-26近三ビル2F
[TEL] 019-623-3613[FAX] 019-623-4028
[URL] http://www.jfp.co.jp/
2-26 Zaimokucho Morioka,Iwate,Japan 020-0063
[TEL] +81-19-623-3613 [FAX] +81-19-623-4028
[URL] http://www.jfp.co.jp/
出展の見どころ
 SLP(SPEC L-PERFECT)は、要求仕様書を論理無矛盾に記述するための支援ツールです。操作ガイド画面に従い簡単な文法で文を記述します(自然言語ライク)。記述後、SLPは文書全般を検査し、論理矛盾、用語の不統一を指摘します。ユーザーはこれに従い記述を修正することで、論理矛盾のない文書を得ることができます。
 記述の曖昧さをなくすための技術としては、形式仕様記述言語があり、VDMやZ言語、Bメソッドなどが知られています。しかしこれらは、数学や論理学の記法を用いていることから記述や読解が難しく、システム発注側と受注側との合意形成の手段として用いることは現実的ではありません。SLPは可読性を維持しつつ、適度な形式
性を備えておりレビューにも有用です。



【close】