タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1994/07
形態種別 研究論文
標題 Synthesizing New Process Specifications When Adding Service Specifications
執筆形態 共著
掲載誌名 Proc. 7th Korea-Japan Joint Conference on Communications, Networks, and Switching Systems,
出版社・発行元 韓国
巻・号・頁 199-204頁
著者・共著者 H. Miyama, A. Takura, T. Ohta.
概要 既存の通信ソフトウェア仕様と追加サービス仕様が与えられたときに、自動的に両者を満足する通信ソフトウェア仕様を導出する手法を提案する。