Budget Amount *help |
¥1,250,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥150,000)
Fiscal Year 2008: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2007: ¥600,000 (Direct Cost: ¥600,000)
|
Research Abstract |
本研究では,利用者のOSやネットワーク接続環境,個々の形式手法や検証ツールに依存しない情報システム仕様記述・検証のための総合環境を開発した.この環境を用いることにより,手法やユーザの環境に依存せず,Webブラウザのみを用いて検証対象を形式的に記述・検証することができる.また,複数人で同時に協調して作業することにより,形式的記述・検証過程における知見や経験などを共有し,検証の負担を軽減,開発者を支援する.
|