2016年度 片山徹郎研究室 開発ツール群

形式仕様を基にしたテストケース自動生成
形式仕様を基にしたデシジョンテーブル自動生成
クリーンコーダー育成支援
クラス図とソースコードのトレーサビリティー維持
プログラムの挙動可視化