研究者情報 | 神奈川大学

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