講演番号 | 題目/著者 |
---|---|
B-001 | 自動コード生成を目的とした複数のUML図に対する整合性検査手法 畑瀬尚之, 和崎克己, |
B-002 | モジュール構造を考慮した形式的細分化実装の生成手法 岡安 悠, 織田 健, |
B-003 | リファインメントを考慮した形式的ソフトウェア合成アルゴリズム 叶野英俊, 織田 健, |
B-004 | Javaプログラミングにおけるリファクタリング支援ツールに関する研究 菊池禎人, 蓬莱尚幸, |
B-005 | 動的テスト自動化によるGUIプログラミング課題採点手法の検討 立石良生, 井上 潮, |
B-006 | ソフトウェア開発教育におけるレリバンスに関する考察 林 秀彦, |