タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1983/03
形態種別 研究論文
標題 交換プログラムの階層的仕様解析
執筆形態 共著
掲載区分国内
出版社・発行元 信学会交換システム研究会
巻・号・頁 SE82-105,1-8頁
著者・共著者 田倉昭、伊藤正樹、市川晴久、吉田靖之。
概要 交換プログラムの要求定義から詳細仕様までの形式的仕様記述法、階層的に仕様の正しさを検証する手法を提案する。