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

講演番号 題目/著者
CB-001仕様書からのテストケース設計プロセスの定義とテストケース生成支援ツール

久代紀之,  青山裕介,  村上響一,  

CB-002STPA,FMEAを連携させた組込み制御ソフトウェア向けのハザード分析手法

高橋正和,  渡辺喜道,  

CB-003Javaバイトコード逆実行シミュレータ

門馬悠太,  平中幸雄,  武田利浩,  

CB-004省レジスタアーキテクチャ向けソフトウェアパイプライニングの評価

千葉修一,  青木正樹,  鎌塚 俊,  松井雅人,  八代 尚,  

CB-005並列処理を用いた対話的多倍長演算環境MuPATの高速化

八木武尊,  石渡恵美子,  長谷川秀彦,  

CB-006自律型並列分散処理システムAgentSphereにおけるJSONを用いた強マイグレーション方式の提案と改良

ベサリ ディダ,  甲斐宗徳,