講演番号 | 題目/著者 |
---|---|
CB-001 | 仕様書からのテストケース設計プロセスの定義とテストケース生成支援ツール 久代紀之, 青山裕介, 村上響一, |
CB-002 | STPA,FMEAを連携させた組込み制御ソフトウェア向けのハザード分析手法 高橋正和, 渡辺喜道, |
CB-003 | Javaバイトコード逆実行シミュレータ 門馬悠太, 平中幸雄, 武田利浩, |
CB-004 | 省レジスタアーキテクチャ向けソフトウェアパイプライニングの評価 千葉修一, 青木正樹, 鎌塚 俊, 松井雅人, 八代 尚, |
CB-005 | 並列処理を用いた対話的多倍長演算環境MuPATの高速化 八木武尊, 石渡恵美子, 長谷川秀彦, |
CB-006 | 自律型並列分散処理システムAgentSphereにおけるJSONを用いた強マイグレーション方式の提案と改良 ベサリ ディダ, 甲斐宗徳, |