コマツ マサヒコ   Komatsu Masahiko
  小松 雅彦
   所属   神奈川大学  外国語学部 英語英文学科
    神奈川大学大学院  外国語学研究科 欧米言語文化専攻(英語教育・英語学)
   職種   准教授
言語種別 日本語
発行・発表の年月 1989/12
形態種別 その他
標題 代数的仕様記述のためのプロセス・モデル
執筆形態 共著
掲載誌名 『第40回ソフトウェア工学研究会資料』(70-2).情報処理学会.
著者・共著者 白井豊・別府真・小松雅彦
概要 担当部分:抽出不可。
代数的仕様記述の検討過程のモデル化を行うことを目指して、記述および思考実験を行い、その整理を行った。実験では、代数的仕様を実際に記述しながら記述過程の思考・整理手順を記録し、他の仕様記述法との関連で考察した。