★ソフトウェアサイエンス研究会(SS)
専門委員長 佐伯 元司 副委員長 坂部 俊樹
幹事 権藤 克彦, 松下 誠
日時 2006年 2月 2日(木) 13:30~17:15
2006年 2月 3日(金) 09:30~12:45
会場 福岡知的クラスター研究所 福岡システムLSI総合開発センター 会議室A(2F205号室)(〒814-0001福岡市早良区百道浜3-8-33.福岡空港より地下鉄(20分),博多駅より地下鉄(15分)で藤崎で下車,更に藤崎バスセンターより(200,305,306,福岡タワー,または医療センター構内行き[1,2,1-5]の西鉄バス)で福岡タワー南口下車(10分)(下記交通情報も参照下さい).http://www.fleets.jp/access/index.html.松本充広.092-832-2520(代表))
議題 一般
2月2日(木) 午後 (13:30~17:15)
(1) 13:30 - 14:00
情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法
○亀谷秀洋(九工大)・新屋敷泰史・三瀬敏郎(松下電工/九工大)・橋本正明・鵜林尚靖・片峯恵一(九工大)・中谷多哉子(エス・ラグーン/九工大)
(2) 14:00 - 14:30
リファクタリングの正しさのESC/Java2による形式検証
○中島 震(NII)・福島慶明・橋本祐介・岩崎新一(NEC)
(3) 14:30 - 15:00
オントロジーを用いた要求獲得手法のための比較実験
○杉浦剛之・大西 淳(立命館大)
(4) 15:00 - 15:30
Automated Software Engineering 2005 参加報告
○田口研治(NII)・佐伯元司(東工大)・本位田真一(NII)
−−− 休憩 ( 15分 ) −−−
(5) 15:45 - 16:15
差分分析による要求仕様の管理支援手法
○清水可奈子・大西 淳(立命館大)
(6) 16:15 - 16:45
π計算表示から能動形プログラムの枠組みの生成
○渡邉勝正(奈良先端大)・駱 福全(台湾凸版)・中西正樹・山下 茂(奈良先端大)
(7) 16:45 - 17:15
項正規表現に基づくSpi計算の機密性検証
○田代善彦・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹(名大)
2月3日(金) 午前 (09:30~12:45)
(8) 09:30 - 10:00
AHPによる要求代替案選択手法
○山崎孝夫・佐伯元司(東工大)
(9) 10:00 - 10:30
Model Checking Integrated Services of Home Network Systems
○Takafumi Matsuo・Pattara Leelaprute・Tatsuhiro Tsuchiya・Tohru Kikuno(Osaka Univ.)
(10) 10:30 - 11:00
関数プログラムの停止性証明のための辞書式経路順序
○星野由美・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹(名大)
−−− 休憩 ( 15分 ) −−−
(11) 11:15 - 11:45
確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について
○長井栄吾・岡野浩三・楠本真二(阪大)
(12) 11:45 - 12:15
ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
○原口孝雄(早大)・小野康一(日本IBM)・深澤良彰(早大)
(13) 12:15 - 12:45
ソフトウェア共同開発におけるワークフロー実行制御の一方式
○小谷正行・落水浩一郎(北陸先端大)
一般講演:発表 20 分 + 質疑応答 10 分
◎交通情報:福岡空港や博多駅から直接出る西鉄バスは本数が少ないそうです.[1,2,1-5]は,天神,西新,博多駅行きなどの,福岡タワー,または医療センター構内行き以外のバスは福岡タワー南口には来ないのでご注意下さい.なお,バスの時刻表は西鉄バスのホームページ(http://jik.nnr.co.jp/busnavi/bustei.htm)から参照できます
◎懇親会情報: 店名:磯貝,(http://woman.excite.co.jp/gourmet/restaurant/shop_56771.html),日時:2/2(木) 18:30~20:30,コース:5,000円の飲み放題2時間のコース
☆SS研究会今後の予定 [ ]内発表申込締切日
4月20日(木)~21日(金) 新潟大学五十嵐キャンパス [2月17日(金)] テーマ:一般
【問合先】
権藤克彦(東京工業大学)
TEL 03-5734-2810
FAX 03-5734-2772
E-mail: nw
◎最新情報は,SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/
をご覧下さい.
Last modified: 2006-01-12 16:28:45
|
ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.
|