プログラム | 先端ソフトウエア工学に関するGRACE国際シンポジウム 2010

プログラム PDF版

2010/03/15 (月)
	中会議室 I,II	NII 12F 1208,1210室	中会議室 III, IV	特別会議室 101,102,103
8:30-	登録
9:00-10:00	招待講演 1 Sebastian Uchitel, Imperial College London Title: Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering		ポスター/デモ
10:00-10:20	休憩
10:20-11:50	Workshop 1 形式手法の産業応用ワークショップ	Workshop 2 セキュリティソフトウェア工学	ポスター/デモ	Workshop 3 双方向変換ワークショップ
12:00-13:00	昼食
13:00-14:00	招待講演 2 Hong Mei, Peking University Title: Internetware: A new software paradigm for Internet as a computer		ポスター/デモ
14:00-14:20	休憩
14:20-15:50	Workshop 1 形式手法の産業応用ワークショップ	Workshop 2 セキュリティソフトウェア工学	ポスター/デモ	Workshop 3 双方向変換ワークショップ
15:50-16:10	休憩
16:10-17:40	Workshop 1 形式手法の産業応用ワークショップ	Workshop 2 セキュリティソフトウェア工学	ポスター/デモ	Workshop 3 双方向変換ワークショップ
18:00-20:00			レセプション / ポスターセッション

2010/03/16 (火)
	一橋記念講堂	中会議室 III, IV	特別会議室 101,102,103
8:30-	登録
9:30-10:00	所長挨拶国立情報学研究所所長坂内正夫来賓挨拶文部科学省高等教育局専門教育課課長澤川和宏北陸先端科学技術大学院大学学長片山卓也株式会社ＮＴＴデータ顧問重木昭信（日本経団連情報通信委員会高度情報通信人材育成部会長）情報処理振興機構ＩＴ人材育成本部本部長田中久也	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs
10:00-10:40	GRACEセンター活動報告 GRACEセンター長本位田真一	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs
10:40-11:00	休憩
11:00-12:00	基調講演 Jeff Kramer, Imperial College London	ポスター/デモ
12:00-13:30	昼食
13:30-15:30	GRACEセンター研究紹介胡振江, 石川冬樹, 鄭顕志, ナイラアブダール TopSEプロジェクト紹介田口研治	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs
15:30-15:50	休憩
15:50-16:20	招待講演 3 丹羽雅春 (独立行政法人情報処理推進機構 IT人材育成本部 ITスキル標準センター) タイトル: ITスキル標準の概要と海外展開について	ポスター/デモ
16:20-16:50	招待講演 4 Bashar Nuseibeh, Open University Title: Privacy Requirements in Mobile and Ubiquitous Computing	ポスター/デモ
16:50-17:50	パネルディスカッション Title: The Future of Software Engineering: a historical perspective Anthony Finkelstein, Kokichi Futatsugi, Kyo Kang, Katsuro Inoue, Bashar Nuseibeh (Chair)	ポスター/デモ
18:30-20:30	バンケット (有料) 於如水会館 2F Star Hall

2010/03/17 (水)
	中会議室 I,II	NII 12F 1208,1210	中会議室 III, IV	特別会議室 101,102,103
8:30-	登録
9:00-10:00	招待講演 5 Joshua Kerievsky, Title: A Timeless Way Of Communicating		ポスター/デモ
10:00-10:20	休憩
10:20-11:50	Workshop 4 形式手法 Bメソッド研修セミナー	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Web Services	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs
12:00-13:00	昼食
13:00-14:00	招待講演 6 Jin Song Dong Title: Expressive Design Techniques and Efficient Model Checking		ポスター/デモ
14:00-14:20	休憩
14:20-15:50	Workshop 4 形式手法 Bメソッド研修セミナー	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Web Services	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs
15:50-16:10	休憩
16:10-17:40	Workshop 4 形式手法 Bメソッド研修セミナー	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Web Services	ポスター/デモ	1st Asian Conference on Patterns and Languages of Programs