研究者情報 | 神奈川大学

コマツ　マサヒコ Komatsu Masahiko 小松　雅彦所属神奈川大学外国語学部英語英文学科神奈川大学大学院人文学研究科欧米言語文化専攻（言語学コース）職種准教授
言語種別	日本語
発行・発表の年月	1990
形態種別	その他
標題	代数的仕様記述のためのプロセス・モデル
執筆形態	共著
掲載誌名	『知的ソフトウェア開発第1回ワークショップ論文集』．人工知能学会知的ソフトウェア開発研究部会．（東京大学先端科学技術研究センター，1989年8月）
著者・共著者	白井豊・別府真・小松雅彦
概要	担当部分：抽出不可。代数的仕様記述の検討過程のモデル化を行うことを目指して、記述および思考実験を行い、その整理を行った。実験では、代数的仕様を実際に記述しながら記述過程の思考・整理手順を記録した。