タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1995/03
形態種別 研究論文
標題 通信ソフトウェア仕様の検証に関する課題
執筆形態 共著
掲載区分国内
出版社・発行元 信学会全国大会
巻・号・頁 SB-9-2,714-715頁
著者・共著者 佐藤正和、河原崎裕朗、田倉昭
概要 通信システムの仕様記述を対象とした検証方法について述べる。最初に、代表的ないくつかの仕様記述方式と、それに対応した検証方法について紹介する。次に、STR(State Transition Rules)による仕様記述の検証方法を述べる。