@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00131046,
 book = {全国大会講演論文集},
 issue = {ソフトウェア科学・工学},
 month = {Mar},
 note = {ソフトウェアの仕様記述を形式化して、計算機を用いて記述内容の検証を支援すると同時に、人間に分かり易く、また記述し易い日本語を提供することを目的として、自然言語に一定の文法上制限を与えた制限日本語を先に提案した。また制限日本語を用いた仕様書の作成および記述内容の検証を支援する計算機システム (SSCJ) について報告した。本稿では、インターネットプラウザを用いた入出力法の改善内容、および新規に開発した記述対象システムの動作特性を解析する機能 (動的解析機能) について報告する。},
 pages = {305--306},
 publisher = {情報処理学会},
 title = {制限日本語で記述されたソフトウエア要求仕様記述の検証支援システム},
 volume = {第54回},
 year = {1997}
}