| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2012年度)
「from:2012-11-01 to:2012-11-01」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, IPSJ-SE (連催) |
2012-11-01 10:00 |
広島 | 広島市立大学、講堂 小ホール | 観光スケジューリングのための天候変化パターン生成アルゴリズム ○加藤宏和・村田佳洋（広島市大）  SS2012-36 |
近年，パーソナルナビゲーションシステムに関する研究が数多くなされており，観光スケジュール立案のためのナビゲーションシステ... [more] | SS2012-36 pp.1-6 |
| SS, IPSJ-SE (連催) |
2012-11-01 10:25 |
広島 | 広島市立大学、講堂 小ホール | 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング ○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2012-37 |
Malbolgeは最も難解なプログラミング言語として知られている．低級アセンブリ言語の開発によりMalbolgeのループ... [more] | SS2012-37 pp.7-12 |
| SS, IPSJ-SE (連催) |
2012-11-01 10:50 |
広島 | 広島市立大学、講堂 小ホール | 決定性線形下降木変換器における頂点問合せ保存 ○宮原一喜・橋本健二・関 浩之（奈良先端大） SS2012-38 |
XML文書変換では，変換前の文書群に含まれる必要な情報がその変換によって失われないことが望ましい．そのような情報保存の一... [more] | SS2012-38 pp.13-18 |
| SS, IPSJ-SE (連催) |
2012-11-01 13:15 |
広島 | 広島市立大学、講堂 小ホール | ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討 ○吉田信明（京都高度技研）・張 漢明・沢田篤史（南山大）・中村行宏（京都高度技研） SS2012-39 |
無線などの通信機能を持つデバイスを分散配置し，そのデバイスを通じてエリア内を移動する利用者の端末にサービス提供するシステ... [more] | SS2012-39 pp.35-40 |
| SS, IPSJ-SE (連催) |
2012-11-01 13:40 |
広島 | 広島市立大学、講堂 小ホール | 並行システム記述におけるフォールトパターンに関する考察 ○張 漢明・野呂昌満・沢田篤史・吉田 敦・蜂巣吉成・横森励士（南山大） SS2012-40 |
モデル検査では，デッドロックや仕様が満たされないことを検出した場合,反例が提示されるが，その原因となるフォールトの特定は... [more] | SS2012-40 pp.41-46 |
| SS, IPSJ-SE (連催) |
2012-11-01 16:05 |
広島 | 広島市立大学、講堂 小ホール | 第27回ソフトウェア工学の自動化国際会議（ASE 2012）参加報告 ○林 晋平（東工大）・丸山勝久（立命館大）・佐伯元司（東工大） SS2012-41 |
2012年9月にドイツ・エッセンにて開催された第27回ソフトウェア工学の自動化国際会議（ASE 2012）に参加したので... [more] | SS2012-41 pp.75-80 |
| SS, IPSJ-SE (連催) |
2012-11-02 11:10 |
広島 | 広島市立大学、講堂 小ホール | オープンソースソフトウェアにおけるコードクローンの消失に関する調査 ○堀田圭佑・肥後芳樹・楠本真二（阪大） SS2012-42 |
ソフトウェアの保守を困難にするおそれのある要因の一つとして，コードクローンの存在が指摘されている．その一方で，コードクロ... [more] | SS2012-42 pp.111-116 |
| SS, IPSJ-SE (連催) |
2012-11-02 11:35 |
広島 | 広島市立大学、講堂 小ホール | A Clone Detection Approach for a Collection of Similar Large-Scale Software Products Eunjong Choi（Osaka Univ.）・○Norihiro Yoshida（NAIST）・Yoshiki Higo・Katsuro Inoue（Osaka Univ.） SS2012-43 |
Reusing existing software with or without modifications is f... [more] | SS2012-43 pp.117-121 |
| SS, IPSJ-SE (連催) |
2012-11-02 13:00 |
広島 | 広島市立大学、講堂 小ホール | 派生プロダクト群における要求・実装間のトレーサビリティリンク抽出 ○土屋良介・鷲崎弘宜・深澤良彰（早大）・加藤正恭・川上真澄・吉村健太郎（日立） SS2012-44 |
派生開発されてきたプロダクト群に対して，保守や拡張を行う際には，要求と実装の間でトレーサビリティが明確化されていることが... [more] | SS2012-44 pp.123-128 |
| SS, IPSJ-SE (連催) |
2012-11-02 13:25 |
広島 | 広島市立大学、講堂 小ホール | 画面トレースの解析によるwebアプリケーションのユースケース再構築手法の提案 ○及川 翔・神谷年洋（公立はこだて未来大） SS2012-45 |
[more] | SS2012-45 pp.129-134 |
[研究会発表申込システムのトップページに戻る]