| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 関 浩之 (奈良先端大) 副委員長 中島 震 (NII) 幹事 高田 喜朗 (高知工科大)， 満田 成紀 (和歌山大) 幹事補佐 鷲崎 弘宜 (早大) ★知能ソフトウェア工学研究会（KBSE） 専門委員長 中谷 多哉子 (筑波大) 副委員長 松浦 佐江子 (芝浦工大) 幹事 芳賀 博英 (同志社大)， 片峯 恵一 (九工大) 幹事補佐 阿萬 裕久 (愛媛大)， 白銀 純子 (東京女子大) 日時 2010年 5月27日(木) 10：40～16：30 2010年 5月28日(金) 10：30～16：40 会場 同志社大学今出川キャンパス寒梅館地下A会議室（京都市営地下鉄烏丸線今出川駅徒歩3分．http://www.doshisha.ac.jp/access/ima_access.html．理工学部 芳賀博英．090-1912-1954） 議題 一般，フレッシャーズセッション −−− 委員長挨拶 （ 10分 ） −−− 5月27日(木) 午前 一般セッション(1) （10：40～12：40） (1) 10:40 - 11:20 プラグラマティズムに基づく概念データモデリングの再構築 ～ オブジェクト指向の哲学的背景について ～ ○金田重郎（同志社大） (2) 11:20 - 12:00 オントロジー指向アーキテクチャーによる認識処理手法の基礎的検討 ○木野千晶・鈴木喜雄・武宮 博（原子力機構） (3) 12:00 - 12:40 セキュリティ要件定義のためのゴール指向モデリング手法 ○斯波万恵・佐々木尚一（東芝ソリューション）・田口研治（産総研）・吉岡信和（NII） −−− 昼食 （ 65分 ） −−− 5月27日(木) 午後 フレッシャーズセッション （13：45～16：30） (4) 13:45 - 14:15 シナリオ部品とその組合せによるシナリオの生成支援 ○西村 眞人(学)・大西 淳（立命館大） (5) 14:15 - 14:45 遷移確率距離を用いた類似文字列検索 ○勝俣 彰文 (学)・三浦孝夫（法政大） (6) 14:45 - 15:15 XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 ～ (1) ミューテーションテストのためのミュータントオペレータの実装 ～ ○末広 暁久(学)・佐々木亮太・芳賀博英（同志社大） −−− 休憩 （ 15分 ） −−− (7) 15:30 - 16:00 税業務の階層性に基づく共同化システムの知識表現形式と処理系の構築 ○長村篤紀・吉岡俊輔・深見尚平・上仲良幸・金田重郎（同志社大） (8) 16:00 - 16:30 類似メソッドの集約のための差分抽出支援 ○政井 智雄(学)・吉田則裕・松下 誠・井上克郎（阪大） 5月28日(金) 午前 一般セッション(2) （10：30～12：30） (9) 10:30 - 11:10 パターンを用いたゴール指向ビジネス企画手法の提案 ○猿渡卓也（NTTデータ）・田口研治（NII）・斎藤 忍（NTTデータ）・山本修一郎（名大） (10) 11:10 - 11:50 要求の割付先としてのITと運用の選択基準 ○服部 昇（NTTデータ/和歌山大）・鯵坂恒夫（和歌山大）・山本修一郎（名大） (11) 11:50 - 12:30 Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification ○Xiaoxi Dong・Shin Nakajima（NII） 5月28日(金) 午後 一般セッション(3) （13：45～16：40） (12) 13:45 - 14:25 動的リアルタイムCEGAR ○酒井 誠・田中祐史・山根 智（金沢大） (13) 14:25 - 15:05 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法 ○畠中克也・鎌澤浩司・山根 智（金沢大） −−− 休憩 （ 15分 ） −−− (14) 15:20 - 16:00 確率時間REGARの実装と評価 ○清水隆也・高橋正樹・山根 智（金沢大） (15) 16:00 - 16:40 プログラム構造から見た再帰プログラムの基本形 ○大段雅典（島根大/NTTデータシステム技術）・佐藤匡正 一般講演：発表 30 分 ＋ 質疑応答 10 分 学生及び若手発表：発表 20 分 ＋ 質疑応答 10 分 ◆同志社大学理工学部情報系共催 ☆SS研究会今後の予定 [ ]内発表申込締切日 8月5日(木)～6日(金) 旭川市民文化会館 [6月20日(日)] テーマ：一般 【問合先】 満田成紀(和歌山大) TEL 073-457-8433 FAX 073-457-8434 E-mail:  n       -u ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://sdlab.sys.wakayama-u.ac.jp/ss/ ☆KBSE研究会今後の予定 [ ]内発表申込締切日 7月29日(木)～30日(金) 釧路公立大学 [5月20日(木)] テーマ：一般 【問合先】 芳賀 博英（同志社大学） E-mail: h      s◎最新の情報はKBSE研究会ホームページでご確認ください． http://www.selab.is.ritsumei.ac.jp/kbse/ Last modified: 2010-03-22 15:40:53 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] / [KBSE研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]