| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 関 浩之 (奈良先端大) 副委員長 中島 震 (NII) 幹事 高田 喜朗 (高知工科大)， 満田 成紀 (和歌山大) 幹事補佐 鷲崎 弘宜 (早大) 日時 2010年 8月 5日(木) 10：30～16：30 2010年 8月 6日(金) 10：00～11：30 会場 旭川市民文化会館 大会議室(3階)（〒070-0037 旭川市7条通9丁目．JR旭川駅から徒歩約15分．http://www.city.asahikawa.hokkaido.jp/files/bunkashinko/siminbunka/annaizu.htm） 議題 一般 8月5日(木) 午前 （10：30～12：00） (1) 10:30 - 11:00 ソフトウェア開発組織のプロセス特性とソフトウェア品質との因果関係の定量的な推定法 ○板橋吉徳（パナソニック/北陸先端大）・落水浩一郎（北陸先端大） (2) 11:00 - 11:30 パターンに基づくコーディングルール構成手法の提案 ○長谷川 勇（野村総研） (3) 11:30 - 12:00 ユーザ満足度を損ねずに省エネルギーを目指す要求適正化手法 ～ 開発コストを考慮した省エネルギー仕様選択 ～ ○中里 竜・安東孝信・深谷哲司（東芝） −−− 昼食 （ 75分 ） −−− 8月5日(木) 午後 （13：15～14：45） (4) 13:15 - 13:45 デバッギングのための関心事指向推薦システム ○塩塚 大（九工大）・鵜林尚靖（九大） (5) 13:45 - 14:15 プログラム依存グラフの一貫性検査に基づく欠陥検出手法の提案 ○山田吾郎（阪大）・吉田則裕（奈良先端大）・井上克郎（阪大） (6) 14:15 - 14:45 モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保 ○只野賢二・栗田太郎（フェリカネットワークス） −−− 休憩 （ 15分 ） −−− 8月5日(木) 午後 （15：00～16：30） (7) 15:00 - 15:30 実時間システムを対象としたCEGARによる抽象洗練の並列化手法 ○田中俊彰・長岡武志・岡野浩三・楠本真二（阪大） (8) 15:30 - 16:00 Event-Bで書かれたシステム要求仕様の妥当性検査 ○中島 震（NII） (9) 16:00 - 16:30 Argument Filterings and Usable Rules in Higher-Order Rewrite Systems ○Sho Suzuki・Keiichirou Kusakari（Nagoya Univ.）・Frederic Blanqui（INRIA） 8月6日(金) 午前 （10：00～11：30） (10) 10:00 - 10:30 OCLのJMLへの変換ツールの実装 ○宮澤清介・岡野浩三・楠本真二（阪大） (11) 10:30 - 11:00 バージョン管理システムのリポジトリを対象とするコード検索ツールの試作 ○神谷年洋（公立はこだて未来大） (12) 11:00 - 11:30 コメント文によるプログラム中に出現する名詞の説明文生成 ○藤木哲也（阪大）・早瀬康裕（東洋大）・井上克郎（阪大） 一般講演：発表 20 分 ＋ 質疑応答 10 分 ◎8月5日研究会終了後，懇親会を予定していますのでご参加ください． http://www.info.kochi-tech.ac.jp/sigss/konshin/?id=1008 ☆SS研究会今後の予定 [ ]内発表申込締切日 10月14日(木)～15日(金) 岩手県立大学 [8月18日(水)] テーマ：一般 【問合先】 高田喜朗(高知工科大) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2010-06-22 18:00:47 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]