2014年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-018VDMJとApache Axis2を用いた上流工程におけるモデル実行環境の構築

村林　慧,  多田　圭佑,  和崎　克己,  

B-019UML-PROMELA変換器を用いたZigBeeIP/RPLプロトコルにおけるノード探索仕様の検証

後藤　亮馬,  和崎　克己,  

B-020大規模システム開発のための階層的モデル化技法

山田　隆弘,  

B-021形式的ソフトウェア合成手法における不足部品の要求提示

熊谷　恒,  織田　健,  

B-022MDA:構想からプログラミングまでの継目のないアプローチの実際

中村　正治,