タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1997/01
形態種別 研究論文
標題 Automated Generation of Communications Software from Service Specifications Described by State Transition Rules
執筆形態 単著
掲載誌名 Proc. the Thirteenth Annual Hawaii Int. Conf. on System Sciences, Software Technology,
出版社・発行元 ハワイ
巻・号・頁 472-480頁
概要 端末の状態遷移に着目して通信サービス仕様を記述して、その仕様から自動的に通信ソフトウェア仕様に変換する汎用アルゴリズムを提案し、さらに通信システムに関する制御仕様を段階的に補完することにより、通信ソフトウェアを自動生成する手法を提案する。