11se017 藤部貴斗 シミュレーションを用いた性質の検証支援に関する考察 11se101 岩瀬 拓也 VDMを用いた機能仕様記述に関する研究 自動販売機システムを題材として 11se103 岩田 陽平 VDMを用いた機能仕様記述に関する研究 自動販売機システムを題材にして 12se159 水野堅登 CSPを用いた振る舞い仕様記述に関する事例研究 自動販売機システムを題材にして 12se193 小倉 卓也 CSPを用いた振る舞い仕様記述に関する事例研究 自動販売機システムを題材にして 12se273 渡會真朗 CSPを用いた振る舞い仕様記述に関する事例研究 自動販売機システムを題材にして