形式仕様を基にしたテストケース自動生成 English ver. : Test cases automatically generation based on formal method 形式仕様を基にしたデシジョンテーブル自動生成 English ver. : Decision table automatically generation based on formal method クリーンコーダー育成支援 クラス図とソースコードのトレーサビリティー維持 プログラムの挙動可視化