2017SE010 原 拓海 VDMを用いたシーケンス図の妥当性確認に関する考察―研究室名簿システムを事例として― 2018SE010 後藤 駿 二重伝播を用いた日本語感情極性辞書の自動作成―製品レビューを事例として― 2019SE037 盛 巧樹 VDMを用いたシーケンス図の妥当性確認に関する考察―図書管理システムを事例として― 2019SE046 大西 翼 表記ゆれに着目したテキスト感情分類システムの改善 2019SE064 渡部 祐士 類似性に着目したGUI画像検出に関する考察 2019SE068 山下 航輝 コンテキスト指向ソフトウェアの実行前検査に関する考察―スマートホームシステムを題材として― 2019SE076 徳永 圭吾 UMLとVDMを用いたテストケース生成支援に関する考察―図書管理システムを事例に―