第165回ソフトウェア工学研究発表会

オンライン研究発表会について

標記の研究発表会はペーパレスで行います。 皆様のご理解とご協力をお願いいたします。
平成21年度のオンライン化についての詳細は こちら をご覧ください。

* 研究会に登録されている方
研究発表会の一週間前の6月25日（木）にBookParkと当日閲覧用サイト（登録会員用）を公開します。
これに伴い公知日は6月25日（木）となりますのでご注意ください。
当日は資料をプリントアウトしてご持参いただくか、ご自身のPCにダウンロードの上PCをご持参ください。

* 研究会に登録されていない方
当日受付で当研究発表会の資料閲覧用のアカウン情報（URL, ID, PW）をお渡しいたします。
当日はネットワークにアクセスできるPCをご持参ください。
尚、当研究会にご登録いただくことで当研究会の資料のバックナンバーも含めてすべてBookParkでご購読いただけます。
登録されていない方は、 是非この機会に登録をご検討ください。
登録に関してはこちらをご参照ください。

○研究会登録は上記のお申込と登録費をご入金いただいて正式登録となります。
　 入金の確認には1週間程度お時間をいただきますのでご了承ください。
　 お振込が済みましたらkeiri"at"ipsj.or.jpまでご連絡いただき、BookPark閲覧希望の旨お伝えください。
○上記お手続きが済みましたら本会電子図書館（BookPark）上のユーザ登録（無料）をしてください。

プログラム

日　　程　：　2009年7月2日(木)〜3日(金)
会　　場　：　北陸先端科学技術大学院大学 情報科学研究科３棟５階コラボレーションルーム７
　　　　　　　　[アクセス: http://www.jaist.ac.jp/￣kouhou/General_info/access/access.html]

7月2日（木）

●チュートリアル［11:00-12:00］
　・ CafeOBJによるシステム検証
　　　緒方和博（北陸先端大）

●セッション1：開発支援1［13:30-14:30］
（1）データベースを用いたC言語のリバースモデリングとリファクタリング」
　○細合晋太郎，岸知二 　発表キャンセル

（1）ＧＡＭＰ５を考慮した医薬品製造に関わるコンピュータシステムの回顧的バリデーション手法の提案
　○高橋正和（山梨大）

（2）エンドユーザ開発へ向けたソフトウェア自動合成ツール
　○澤田浩之，徳永仁史，古川慈之，手嶋吉法，松木則夫 (産総研)

●セッション2：開発支援2［14:45-15:45］
（3）ベイジアンネットワークを用いた実装プラットフォームの選択支援
　○風戸広史 (東工大／NTTデータ)，Rafael Weiss，林晋平 (東工大)，小林隆志 (名大)，佐伯元司 (東工大)

（4）Platform Independent Model Transformation based on Architectural Patterns
　○Rafael Weiss (Tokyo Tech.)，Hiroshi Kazato (Tokyo Tech./NTT DATA Corp)，
　　 Shinpei Hayashi，Motoshi Saeki (Tokyo Tech.)

●セッション3：検証1［16:00-17:00］
（5）ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
　○岸知二（早大）

（6）形式手法の実用的な適用方法の提案
　○宮永照二 (産総研)

7月3日（金）

●セッション4：検証2［9:30-10:30］
（7）Adaptation of Software Components with Model Checking
　○林信宏，片山卓也（北陸先端大）

（8）データ管理領域におけるプログラム検証自動化に関する考察
　○矢竹健朗（北陸先端大）

●セッション5：報告［10:45-11:45］
（9）第15回アジア太平洋ソフトウェア工学国際会議（APSEC 2008）参加報告
　○小林隆志（名大)，林晋平（東工大)，外村慶二（九工大），天嵜聡介（岡山県立大）

（10）第31回ソフトウェア工学国際会議(ICSE2009)参加報告
　横森励士，○青山幹雄（南山大），井上克郎（阪大）

●チュートリアル[12:50-14:10]
　・ コードクローンの解析・応用技術　
　　　川口真司（奈良先端大）

　・ eclipseを用いたソースコード解析の基礎
　　　新田直也（甲南大）

 

 

第165回研究発表会の論文募集は締め切りました。
（ご参考） 発表論文募集のご案内

日　　程　：　2009年7月2日(木)〜3日(金)
会　　場　：　北陸先端科学技術大学院大学 中講義室
　　　　　　　　[アクセス: http://www.jaist.ac.jp/￣kouhou/General_info/access/access.html]

議　　題　：　一般
発表申込締切 ： 2009年5月18日(月)

発表申込　：
　　* 下記照会先あて電子メールでお申し込みください。なお、
　　　「発表題目、発表者名（登壇者に○）、略称所属、概要（50字程度）、
　　　発表申込者連絡先（〒、住所、氏名、Tel、Fax、E-mail）を明記してください。
　　* お申し込み後、数日以内に受領メールを差し上げます。
　　　1週間経っても受領メールが届かない場合は照会先まで電子メールあるいはFAXでお問合せください。

原稿締切　：　2009年6月1日（月）の予定です。詳細は後日学会から連絡します。
照 会 先　 ：　矢竹健朗 (北陸先端科学技術大学院大学 情報科学研究科)
　　　　　　　　　E-mail: k-yatake＠jaist.ac.jp（＠は半角にしてください）
　　　　　　　　　Tel:0761-51-1253

そ の 他　 ：
　* なお、研究会初日の夜に参加者同士の交流を深めるための懇親会の開催を予定しております。
　* 詳細・最新情報は http://www.ipsj.or.jp/sig/se/ をご覧下さい。
　* できるだけお問い合わせはE-mailでお願いします。