Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
SS2012-36
観光スケジューリングのための天候変化パターン生成アルゴリズム
○加藤宏和・村田佳洋（広島市大）
pp. 1 - 6
SS2012-37
三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング
○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）
pp. 7 - 12
SS2012-38
決定性線形下降木変換器における頂点問合せ保存
○宮原一喜・橋本健二・関 浩之（奈良先端大）
pp. 13 - 18
SS2012-39
ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
○吉田信明（京都高度技研）・張 漢明・沢田篤史（南山大）・中村行宏（京都高度技研）
pp. 35 - 40
SS2012-40
並行システム記述におけるフォールトパターンに関する考察
○張 漢明・野呂昌満・沢田篤史・吉田 敦・蜂巣吉成・横森励士（南山大）
pp. 41 - 46
SS2012-41
第27回ソフトウェア工学の自動化国際会議（ASE 2012）参加報告
○林 晋平（東工大）・丸山勝久（立命館大）・佐伯元司（東工大）
pp. 75 - 80
SS2012-42
オープンソースソフトウェアにおけるコードクローンの消失に関する調査
○堀田圭佑・肥後芳樹・楠本真二（阪大）
pp. 111 - 116
SS2012-43
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.）
pp. 117 - 121
SS2012-44
派生プロダクト群における要求・実装間のトレーサビリティリンク抽出
○土屋良介・鷲崎弘宜・深澤良彰（早大）・加藤正恭・川上真澄・吉村健太郎（日立）
pp. 123 - 128
SS2012-45
画面トレースの解析によるwebアプリケーションのユースケース再構築手法の提案
○及川 翔・神谷年洋（公立はこだて未来大）
pp. 129 - 134
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．