1月23日(月) 午後 セッション1 (B3-2会議室) 12:30 - 14:05 |
|
12:30-12:35 |
委員長挨拶 ( 5分 ) |
(1) |
12:35-13:20 |
SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ~ 複数インスタンスのシミュレーション ~ |
○小形真平・岡野浩三・香山瑞恵(信州大) |
(2) |
13:20-14:05 |
UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 |
○但馬将貴・香山瑞恵・小形真平・橋本昌巳(信州大) |
|
14:05-14:20 |
休憩 ( 15分 ) |
1月23日(月) 午後 シンポジウム 「世界から見た日本のソフトウェア技術者・ソフトウェア技術」 (B3-2会議室) 14:20 - 16:35 |
(3) |
14:20-15:05 |
[招待講演]ソフトウェア技術者処遇に関する国際比較研究の概要 ~ IPA委託研究の報告から ~ |
○中田喜文(同志社大) |
(4) |
15:05-15:50 |
[招待講演]国際ベンチマークデータによるソフトウェア生産性の国別比較 |
○古山恒夫(東海大) |
(5) |
15:50-16:35 |
[招待講演]自動車組み込みソフトのためのグローバル開発パートナーシップ:AUTOSAR |
○高嶋博之(名大) |
1月24日(火) 午前 セッション2 (B3-2会議室) 10:00 - 12:15 |
(6) |
10:00-10:45 |
フィーチャモデルに対するGSN作成法の提案 |
○宇都宮浩之・山本修一郎(名大) |
(7) |
10:45-11:30 |
コンポーネントベース開発に対するO-DAによる形式的妥当性確認手法 |
○山本椋太・山本修一郎(名大) |
(8) |
11:30-12:15 |
O-DAにおける高保証アーキテクチャ開発手法の現状と課題 |
○山本修一郎(名大) |
|
12:15-13:20 |
休憩 ( 65分 ) |
1月24日(火) 午後 セッション3 (B3-2会議室) 13:20 - 15:00 |
(9) |
13:20-14:05 |
顧客行動とサービス機能のモデリングを用いた自動照会システムの学習データ作成手法 |
○竹内広宜・秋原史記(日本IBM) |
(10) |
14:05-14:50 |
光トポグラフィー検査におけるSpike-like noiseの除去 |
○関口雄也・星野 聖(筑波大)・冨田元將・小谷 創(クレッセント) |
|
14:50-15:00 |
今後の予定など案内 ( 10分 ) |