情報処理学会 第74回全国大会講演要旨

我々は，分析・検証モデルを提案し，分析・検証モデルに基づく分析・検証リポジトリの実現を目指している．分析・検証リポジトリを実現するためには，自然言語で書かれた要求仕様を，分析・検証リポジトリで扱うことが可能な形式で記述する必要がある．本研究では，要求仕様をIEEE std.830 に準じた項目に分割し，さらに個々の記載項目に関しては，意味的情報として5W1Hのタグを付与するだけでなく，それぞれの記載項目の要求の程度を表すタグを付与する方法を提案する．本稿では，分析・検証モデルについて述べるとともに，意味情報を付与した要求仕様の記述方法について述べる．