12月14日(木) 午後
13:15 - 17:30 |
| (1) |
13:15-13:40 |
時間経過の概念を導入したTimed STDsによる協調システムのモデリング |
○豊原雄太・川端 亮・伊藤 潔（上智大） |
| (2) |
13:40-14:05 |
単純型項書換え系における定理自動証明系HOPSYS |
○蒲田明憲・草刈圭一朗・西田直樹・酒井正彦・坂部俊樹（名大） |
| (3) |
14:05-14:30 |
Implementing an OCL to JML Translation Tool |
○Rodion Moiseev（Tokyo Inst. of Tech.）・Alessandra Russo（Imperial College London） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (4) |
14:45-15:10 |
A Technique for Defining Model Metrics in Model Driven Development |
○Motoshi Saeki（Tokyo Inst. of Tech.）・Haruhiko Kaiya（Shinshu Univ.） |
| (5) |
15:10-15:35 |
プロダクトライン開発方法論PLUSの問題点とその改善 |
中西恒夫（九大）・○山崎 進・藤田充典・山下直仁（福岡知的クラスター研）・芦原秀一（ネットワーク応用技研） |
| (6) |
15:35-16:00 |
統合フレームワークとリスク監視に基づくソフトウェアプロセスの長・中・短期的改善法に関する考察 |
○落水浩一郎（北陸先端大） |
| |
16:00-16:15 |
休憩 （ 15分 ） |
| (7) |
16:15-16:40 |
Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張 |
○喜多義弘・片山徹郎・冨田重幸（宮崎大） |
| (8) |
16:40-17:05 |
シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察 |
○竹下彰人・片山徹郎（宮崎大） |
| (9) |
17:05-17:30 |
背表紙画像を用いたネットワーク透過な仮想書架 |
宮川拓也・山口恭平・○大森洋一・池田大輔・荒木啓二郎（九大） |
12月15日(金) 午前
09:20 - 12:05 |
| (10) |
09:20-09:45 |
情報フローを取り入れたSecurity-Aware Refactoring |
○戸子田健祐・丸山勝久（立命館大） |
| (11) |
09:45-10:10 |
ソースコードのバージョン間比較による情報抽出とソースコード再利用への応用 |
○小西裕司（神戸大）・荻原剛志（高知工科大） |
| (12) |
10:10-10:35 |
更新履歴情報と静的情報を用いて同一機能を実装しているクラス群を抽出する手法の提案 |
○檜皮祐希・松下 誠・井上克郎（阪大） |
| |
10:35-10:50 |
休憩 （ 15分 ） |
| (13) |
10:50-11:15 |
A Very-Large Scale Code-Clone Analysis and Visualization |
○Simone Livieri・Yoshiki Higo・Makoto Matsushita・Katsuro Inoue（Handai） |
| (14) |
11:15-11:40 |
オブジェクト毎にセキュリティ制御可能なtaintモデルのRuby言語への実装について |
○宮崎翔平・渥美清隆（鈴鹿高専） |
| (15) |
11:40-12:05 |
サンプルを用いたJavaクラスライブラリ検索システムの開発 ～ コンテキストに依存するルーチンへの対応およびデータ構造の考慮 ～ |
○江島陽一・服部哲也・掛下哲郎（佐賀大） |
: 
is
-u