Print edition: ISSN 0913-5685
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
SS2012-46
DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題
○楠 洋平（阪大）・橋本健二（奈良先端大）・石原靖哲・藤原 融（阪大）
pp. 1 - 6
SS2012-47
制約付き項のインスタンスを受理する制約付き木オートマトンの構成法
○中野靖大・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）
pp. 7 - 12
SS2012-48
リファインメント・プランニング
○中島 震（NII）
pp. 13 - 18
SS2012-49
APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み
○塩出拓也・川端英之・北村俊明（広島市大）
pp. 19 - 24
SS2012-50
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用
○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）
pp. 25 - 30
SS2012-51
パラメータ値に関する制約を考慮したランダムテストの不具合検出率について
○重岡大樹・小島英春・土屋達弘（阪大）
pp. 31 - 35
SS2012-52
テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール“Jvis”の開発
○松岡慎吾・片山徹郎（宮崎大）
pp. 37 - 42
SS2012-53
ソフトウェア文書の抽象化に関する一考察
里中真人・伊豫田善隆・○大西 淳（立命館大）
pp. 43 - 48
SS2012-54
Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究
○小澤貴之・鷲崎弘宜・深澤良彰（早大）
pp. 49 - 53
SS2012-55
デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法
○山崎康生・高田喜朗（高知工科大）
pp. 55 - 60
SS2012-56
オープンソースソフトウェアにおけるソフトウェアライセンス間の包含関係の調査
○眞鍋雄貴・井上克郎（阪大）
pp. 61 - 66
SS2012-57
プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析
○渥美紀寿（名大）・小林隆志（東工大）・阿草清滋（京大）
pp. 67 - 72
SS2012-58
Androidアプリケーションの運用時消費電力分析
○古庄裕貴・久住憲嗣（九大）・神山 剛・稲村 浩（NTTドコモ）・中西恒夫・福田 晃（九大）
pp. 73 - 78
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．