アーキテクチャ指向フォーマルメソッド シンポジウム
参加者募集
ソフトウェアの骨格を形成する「アーキテクチャ」はソフトウェア開発における最も重要な成果物であり、その正当性と妥当性を議論するためのフォーマルメソッドの適用技術の開発が期待されています。
本シンポジウムでは、Kang Kyochul 先生 (Samsung Electronics) を基調講演にお迎えし、アーキテクチャ技術、プロダクトライン技術について議論したいと思います。
多数のご参加をお待ちしております。
なお、講演は英語で行います。
────────────── 開 催 要 領 ──────────────
日時：
2015 年 9 月 12 日 (土曜日) 13:00-17:00
主催：
科学研究費補助金 基盤研究(S)
「アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化」
共催：
南山大学 理工学研究科
九州大学 アーキテクチャ指向フォーマルメソッド研究センター
ソフトウェア技術者協会 (SEA)
会場：
南山大学 S棟 S22教室（名古屋市昭和区山里町18）
http://www.nanzan-u.ac.jp/Information/access.html
シンポジウム参加費：無料
プログラム：
13:00 – 13:30
荒木啓二郎（九州大学）：「アーキテクチャ指向フォーマルメソッド概要」
13:30 – 14:30
Kyochul Kang (Samsung Electronics)： “Architecture Concepts and Principles”
15:00 – 15:30
野呂昌満（南山大学）：”Architecture Design for Interactive Systems”
15:30 – 16:00
Jaejoon Lee (Lancaster Univ., U.K.)： “Software Design Studio: A Practical Example”
16:00 – 16:30
Kwanwoo Lee (Hansung Univ., Korea)： “Identifying and Modularizing Feature Interactions for Software Product Lines”
16:30 – 17:00
議論
17:30 – 20:00 懇親会
イル・ポモドリーノ ナゴヤ http://www.ilpomodorino.jp
懇親会費 6,000円（予定）
お申し込み方法：
氏名、所属、懇親会への参加の有無を明記の上、
下記宛にメイルでお申し込みください。
（締切：2015年9月8日，但し，懇親会に参加しない場合は，当日会場での申込も可）
———————————————-
mailto: fm-sympo@nanzan-u.ac.jp
件名: シンポジウム参加申し込み
氏名：
氏名（ふりがな）：
所属：
メイルアドレス：
懇親会：参加・不参加・未定
———————————————-
問合せ先： 張 漢明（南山大学）chang@nanzan-u.ac.jp