10月14日(木) 午後
14:00 - 18:00 |
| (1) |
14:00-14:30 |
要求フレームを利用した品質要求分析支援 |
○海谷治彦（信州大）・大西 淳（立命館大） |
| (2) |
14:30-15:00 |
スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価 |
○鈴木駿一・梅村真弘・谷川正明・小川 亮・海谷治彦・海尻賢二（信州大） |
| (3) |
15:00-15:30 |
形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法 |
○野村 潤・成瀬龍人（九工大）・外村慶二・鵜林尚靖（九大）・司代尊裕・岩井明史（デンソー） |
| |
15:30-15:45 |
休憩 （ 15分 ） |
| (4) |
15:45-16:15 |
コードの生存期間を考慮したコードクローンと欠陥修正の関係調査 |
○齋藤 晃（阪大）・吉田則裕（奈良先端大）・松下 誠・井上克郎（阪大） |
| (5) |
16:15-16:45 |
ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査 |
○鹿島 悠（阪大）・早瀬康裕（東洋大）・吉田則裕（奈良先端大）・真鍋雄貴・井上克郎（阪大） |
| |
16:45-17:00 |
休憩 （ 15分 ） |
| (6) |
17:00-18:00 |
［招待講演］近年の一階論理定理証明プログラムの実際 |
○岩沼宏治（山梨大） |
10月15日(金) 午前
09:45 - 12:30 |
| (7) |
09:45-10:15 |
結合テストにおけるテスト項目自動生成手法の提案と評価 |
○丹野治門・張 暁晶・星野 隆（NTT） |
| (8) |
10:15-10:45 |
欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出 |
○出張純也・菊野 亨（阪大）・菊地奈穂美（OKI）・平山雅之（情報処理推進機構） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
| (9) |
11:00-11:30 |
等式理論を法とするDPLL遷移系について |
○馬場達也・坂部俊樹・西田直樹・草刈圭一朗・酒井正彦（名大） |
| (10) |
11:30-12:00 |
難解言語Malbolgeのチューリング完全性について |
○長坂 哲・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） |
| (11) |
12:00-12:30 |
FreeBSDのソースコードレポジトリにおけるリビジョンを超えたコード断片のコピーの分析 |
○神谷年洋（公立はこだて未来大） |
: 
a
-
