| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 関 浩之 (奈良先端大) 副委員長 中島 震 (NII) 幹事 高田 喜朗 (高知工科大)， 満田 成紀 (和歌山大) 幹事補佐 鷲崎 弘宜 (早大) 日時 2010年10月14日(木) 14：00～18：00 2010年10月15日(金) 09：45～12：30 会場 14日：岩手県立大学共通講義棟108教室，15日：岩手県立大学アイーナキャンパス学習室1（いわて県民情報交流センター(アイーナ) 7F）（14日：〒020-0193岩手県滝沢村滝沢字巣子152-52，15日：〒020-0045岩手県盛岡市盛岡駅西通1-7-1．14日：JR滝沢駅から徒歩12分（盛岡駅から滝沢駅まで電車15分），15日：JR盛岡駅から徒歩4分．http://www.iwate-pu.ac.jp/about/traffic.html．ソフトウェア情報学部 高田 豊雄．019-694-2606） 議題 一般 10月14日(木) 午後 （14：00～18：00） (1) 14:00 - 14:30 要求フレームを利用した品質要求分析支援 ○海谷治彦（信州大）・大西 淳（立命館大） (2) 14:30 - 15:00 スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価 ○鈴木駿一・梅村真弘・谷川正明・小川 亮・海谷治彦・海尻賢二（信州大） (3) 15:00 - 15:30 形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法 ○野村 潤・成瀬龍人（九工大）・外村慶二・鵜林尚靖（九大）・司代尊裕・岩井明史（デンソー） −−− 休憩 （ 15分 ） −−− (4) 15:45 - 16:15 コードの生存期間を考慮したコードクローンと欠陥修正の関係調査 ○齋藤 晃（阪大）・吉田則裕（奈良先端大）・松下 誠・井上克郎（阪大） (5) 16:15 - 16:45 ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査 ○鹿島 悠（阪大）・早瀬康裕（東洋大）・吉田則裕（奈良先端大）・真鍋雄貴・井上克郎（阪大） −−− 休憩 （ 15分 ） −−− (6) 17:00 - 18:00 ［招待講演］近年の一階論理定理証明プログラムの実際 ○岩沼宏治（山梨大） 10月15日(金) 午前 （09：45～12：30） (7) 09:45 - 10:15 結合テストにおけるテスト項目自動生成手法の提案と評価 ○丹野治門・張 暁晶・星野 隆（NTT） (8) 10:15 - 10:45 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出 ○出張純也・菊野 亨（阪大）・菊地奈穂美（OKI）・平山雅之（情報処理推進機構） −−− 休憩 （ 15分 ） −−− (9) 11:00 - 11:30 等式理論を法とするDPLL遷移系について ○馬場達也・坂部俊樹・西田直樹・草刈圭一朗・酒井正彦（名大） (10) 11:30 - 12:00 難解言語Malbolgeのチューリング完全性について ○長坂 哲・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） (11) 12:00 - 12:30 FreeBSDのソースコードレポジトリにおけるリビジョンを超えたコード断片のコピーの分析 ○神谷年洋（公立はこだて未来大） 一般講演：発表 20 分 ＋ 質疑応答 10 分 ◎14日研究会終了後，懇親会を予定しておりますのでご参加ください． 「刺身居酒屋うま舎」 http://nttbj.itp.ne.jp/0196539733/index.html?Media_cate=populer&svc=1303 ☆SS研究会今後の予定 [ ]内発表申込締切日 12月14日(火)～15日(水) 伊香保温泉 ホテル天坊 [10月20日(水)] テーマ：一般 【問合先】 高田喜朗(高知工科大) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2010-10-12 17:44:11 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]