コマツ マサヒコ   Komatsu Masahiko
  小松 雅彦
   所属   神奈川大学  外国語学部 英語英文学科
    神奈川大学大学院  外国語学研究科 欧米言語文化専攻(英語教育・英語学)
   職種   准教授
言語種別 日本語
発行・発表の年月 1989/10
形態種別 その他
標題 ASPELAによる仕様記述法:FASET(2)代数的記述による開発支援ツール
執筆形態 共著
掲載誌名 『第39回全国大会講演論文集』(pp. 1533-1534).情報処理学会.
著者・共著者 小松雅彦・別府真・白井豊
概要 担当部分:抽出不可。
項書き換え系言語ASPELAによる仕様記述法について述べた。ASPELAは、機械的検証、インタプリット、コンパイルの機能を持ち、設計・コーディングが易しい。物・事象の名前付け、物・事象の構造決定、場合分け、正しさチェックという4つの作業の繰り返しによって、仕様記述を行う。