タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1989/09
形態種別 研究論文
標題 Completing Protocols According to Requirements
執筆形態 共著
掲載誌名 Proc. ICCC Symposium' 89,
出版社・発行元 北京
巻・号・頁 116-119頁
著者・共著者 Akira Takura and Haruhisa Ichikawa.
概要 メッセージシーケンス図を使って通信サービスの要求仕様を記述し、ソフトウェア仕様に変換すると要求外動作に陥ることがあることを示し、その要求外動作に陥らないように自動的に変換するアルゴリズムを提案する。