| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 佐伯 元司 副委員長 坂部 俊樹 幹事 権藤 克彦， 松下 誠 日時 2006年 2月 2日(木) 13：30～17：15 2006年 2月 3日(金) 09：30～12：45 会場 福岡知的クラスター研究所 福岡システムLSI総合開発センター 会議室A（2F205号室）（〒814-0001福岡市早良区百道浜3-8-33．福岡空港より地下鉄（20分），博多駅より地下鉄（１５分）で藤崎で下車，更に藤崎バスセンターより（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時間のコース ☆SS研究会今後の予定 [ ]内発表申込締切日 4月20日(木)～21日(金) 新潟大学五十嵐キャンパス [2月17日(金)] テーマ：一般 【問合先】 権藤克彦(東京工業大学) TEL 03-5734-2810 FAX 03-5734-2772 E-mail:  n w      ◎最新情報は，SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/ をご覧下さい． Last modified: 2006-01-12 16:28:45 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]