電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 坂部 俊樹
副委員長 鯵坂 恒夫
幹事 草刈 圭一朗, 権藤 克彦

日時 2006年 8月 3日(木) 13:00 - 18:00
2006年 8月 4日(金) 08:45 - 12:00
議題 一般 
会場名 北海道大学工学部M棟 
住所 〒060-8628 北海道札幌市北区北13条西8丁目
交通案内 地下鉄南北線北12 条駅から北13条門を通り,徒歩で約10分(札幌駅から徒歩約20分) 。
http://www.eng.hokudai.ac.jp/location/
会場世話人
連絡先
南澤 吉昭
お知らせ ◎初日の研究会終了後、懇親会を開催します.参加希望の方は7月31日(月)迄に懇親会案内のページ(http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0608)にて予約をお願いします.

8月3日(木) 午後 
13:00 - 18:00
(1) 13:00-13:30 制約オートマトンを用いたソフトウェアデザインの記述法 中島 震NII
(2) 13:30-14:00 属性記述に基づく計算機上の対象識別のための意味づけと構文化・形式変換 古宇田フミ子近山 隆東大
(3) 14:00-14:30 デバッグ情報を用いたC++用静的コールグラフ生成系 ~ 軽量なバイナリレベル型解析による仮想関数呼び出しの検出 ~ 寺島有為権藤克彦東工大
  14:30-14:45 休憩 ( 15分 )
(4) 14:45-15:15 二相XSLT構造を用いたWebボードゲームの設計と実装 長瀬耕世満田成紀福安直樹松延拓生吉田 敦鯵坂恒夫和歌山大
(5) 15:15-15:45 マルチエージェントによるP2Pリソース探索 原田義邦神林 靖日本工大
(6) 15:45-16:15 デスクトップ検索システムを用いたJavaソフトウェア部品リポジトリの自動更新機能の実現 市井 誠木村和正松下 誠井上克郎阪大
  16:15-16:30 休憩 ( 15分 )
(7) 16:30-17:00 コードクローンを対象としたリファクタリングの有効性に関する調査 肥後芳樹楠本真二井上克郎阪大
(8) 17:00-17:30 要求獲得におけるシソーラスの効果・効用について 加藤潤三フリーコンサルタント)・佐伯元司東工大)・大西 淳立命館大)・海谷治彦信州大)・山本修一郎NTTデータ
(9) 17:30-18:00 ソフトウェアアカウンタビリティの定義について 落水浩一郎北陸先端大
8月4日(金) 午前 
08:45 - 12:00
(10) 08:45-09:15 項書換え系多重完備化手続きにおける新たな半順序制約表現の導入 佐藤晴彦栗原正仁北大
(11) 09:15-09:45 自動組版用テンプレート作成における形式言語方式の探究 ザイ建一ロココ
(12) 09:45-10:15 UML/OCLに記述された時間 QoS の階層的検証手法の提案 長井栄吾岡野浩三楠本真二阪大
  10:15-10:30 休憩 ( 15分 )
(13) 10:30-11:00 マッピング手法の導入によるインタラクション・モデルの拡張 柳田拓人野中秀俊栗原正仁北大
(14) 11:00-11:30 An Efficient Model Checking Method for Programs with History-based Access Control Jing WangYoshiaki TakataHiroyuki SekiNAIST
(15) 11:30-12:00 SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法 浜口 優吉村 顕岡野浩三楠本真二阪大

講演時間
一般講演発表 20 分 + 質疑応答 10 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 草刈圭一朗(名古屋大学)
TEL 052-789-3973
FAX 052-789-3801
E-: is-u 
お知らせ ◎最新情報は,SIGSS研究会ホームページhttp://www.sakabe.i.is.nagoy-u.acjp/ss/ をご覧下さい.


Last modified: 2010-10-12 19:28:48


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会