通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援

• 安藤, 津芳

• 更科, 克幸

• 太田, 正孝

• 高橋, 薫

抄録

本報告では,通信ソフトウェア設計支援環境:ITECSにおける仕様作成支援の方法と使用例について述べる.ITECSは,LOTOS(ISO8807)記述仕様を核とした設計支援環境である.しかし,LOTOSは,一般的には理解しづらいといわれている.そこで,仕様作成支援ではこのLOTOSの短所を補い,検証能力等の長所を活かす必要がある.以下,本報告では,通信ソフトウェア設計支援という立場から仕様作成支援のあり方を検討した後に,仕様作成支援の例を報告する.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第46回 (ソフトウェア工学), 283-284, 1993-03-01

詳細情報

• CRID: 1050574047128875904
• NII論文ID: 110002883014
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00123955/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles