論文リスト

修士論文 Master’s thesis

吉川 裕基
モデルとソースコード間の整合性維持機能を有するMDAツールの開発
P

卒業論文 Graduation thesis

植田 紘生
テスト用コミュニケーション図作成支援ツールの利便性向上を目的とした改良
P
黄 一諾
VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableの的y法範囲の拡大
P
佐藤 拓弥
Javaプログラムデータ遷移可視化ツールTFVISの実用性の向上を目的とした適用範囲の拡大
P
高尾 春伸
回帰テストの効率向上を目的とした単体テスト可視化ツールJvisの機能拡張
P
立山 博基
VDM++仕様を対象にした境界値テスト自動生成ツールBWDMの試作
P
田上 諭
クリーンコード作成支援ツールMCCの試作
P