@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00127911,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Mar},
 note = {通信ソフトウェア等の開発を行う上で、その設計段階において仕様を誤りなく厳密に記述することが重要視されている。このため、種々の形式記述技法(FDT)が提案され、あわせてその支援環境が開発されている。現在我々は、通信ソフトウェアの設計を高信頼かつ効率的に支援するための環境として、FDTの一つであるLOTOS(ISO8807)を中心とした支援環境ITECS(In Tegrated Environment for high reliability Communication Software design)を提案し、開発を行っている。本稿では、ITECSにおける仕様検証支援環境の紹介を行う。},
 pages = {199--200},
 publisher = {情報処理学会},
 title = {通信ソフトウェア設計支援環境ITECSにおける仕様検証支援},
 volume = {第50回},
 year = {1995}
}