VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableにおける複合条件式への対応と選択表示機能の実装

P

データ遷移可視化ツールTFVISにおけるオブジェクトへの対応のための機能拡張

P

形式仕様を対象とした境界値分析と記号実行の適用によるテストケース生成手法の提案

P

ソースコードの品質向上を目的としたコメント解析ツールSCCAの実装と評価

P

VDM++ 仕様記述から日本語仕様を自動生成するツールVlastの試作

P

熱気球の競技飛行におけるフライトプラン自動作成ツールSkyPathの試作

P

コードレイアウトの自由化を目的としたコード整形ツール「ALICE」の試作

P

機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作

P

解析表現文法を対象とした文法チェックツールTamiasの開発

P

ArduinoシミュレータADVISにおける抵抗器の抵抗値選択による有用性の向上と電流によるArduino本体およびモジュール破損回避を目的とした改良

P