研究者情報 | 神奈川大学

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