自然言語仕様書から機械学習を用いたVDM++仕様書の型定義と定数定義を自動生成する手法の提案

P

空間データを共有するための新たな分散MQTTシステムGammaの提案と実装

P

ログデータの解析における作業時間の削減を目的としたログデータ解析ツールODLの試作

P

モバイル端末の位置推定技術の比較検討と活用方法の提案

P

VDM++仕様を対象としたテストケース自動生成ツールBWDMの適用範囲の拡大とオブジェクト操作のための機能追加

P