研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ【重要】研究会・各種料金のお支払い方法変更について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前の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	デバッグ情報を用いたＣ＋＋用静的コールグラフ生成系～軽量なバイナリレベル型解析による仮想関数呼び出しの検出～	○寺島有為・権藤克彦（東工大）
	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 Wang・Yoshiaki Takata・Hiroyuki Seki（NAIST）
(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/ をご覧下さい．