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

P

The Suggestive Business Goals of Applying GQM Approach to CMMI Software Process Improvement

P

テスト用コミュニケーション図作成支援ツールの利便性向上を目的とした改良

P

VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableの適用範囲の拡大

P

Javaプログラムデータ遷移可視化ツールTFVISの実用性の向上を目的とした適用範囲の拡大

P

回帰テストの効率向上を目的とした単体テスト可視化ツールJvisの機能拡張

P

VDM++仕様を対象にした境界値テスト自動生成ツールBWDMの試作

P

クリーンコード作成支援ツールMCCの試作

P