Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
SS2013-72
時間制約によるAlloy記述の拡張
○黒板亮太・結縁祥治（名大）
pp. 1 - 6
SS2013-73
SATソルバを活用した決定表作成・検証方式
○伊藤信治・佐藤直人・金藤栄孝・宮崎邦彦・森 浩起・木村 誠・山口 潔（日立）
pp. 7 - 11
SS2013-74
逆Unfold問題とその発見的解法
○加藤友郁・長島正憲・酒井正彦・西田直樹（名大）
pp. 13 - 18
SS2013-75
JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案
榛葉浩章・○尾ノ上博樹・岡野浩三・楠本真二（阪大）
pp. 19 - 24
SS2013-76
ユースケース記述の検査のための自然言語要求文の解析
○中村遼太郎・林 晋平・佐伯元司（東工大）
pp. 25 - 30
SS2013-77
制約付き木オートマトンにおける不用な遷移規則の発見法について
○中野靖大・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗・橋本健二（名大）
pp. 31 - 36
SS2013-78
省電力プロセッサのアンドロイド・アプリ電力消費モデルへの影響
○中島 震（NII）
pp. 37 - 42
SS2013-79
Javaプログラムにおける設計情報を用いた意図的なアクセス修飾子過剰性の抽出手法
○大西理功（阪大）・小堀一雄（NTTデータ）・松下 誠・井上克郎（阪大）
pp. 43 - 48
SS2013-80
フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて
○久米 出（奈良先端大）・新田直也（甲南大）・中村匡秀（神戸大）・柴山悦哉（東大）
pp. 49 - 54
SS2013-81
得点による競争原理を用いた静的解析ツールによる欠陥除去の促進
○新井 慧（早大）・坂本一憲（NII）・鷲崎弘宜・深澤良彰（早大）
pp. 55 - 60
SS2013-82
細粒度作業履歴を用いたTask Level Commit支援手法の提案
梅川晃一・○井垣 宏（阪大）・吉田則裕（奈良先端大）・井上克郎（阪大）
pp. 61 - 66
SS2013-83
コード内に出現する識別子情報に基づくコミット分類
○山内健二・楊 嘉晨・堀田圭佑・肥後芳樹・楠本真二（阪大）
pp. 67 - 72
SS2013-84
活動履歴と過去の推薦状況を考慮した変更支援ツールの試作
○山森章弘・小林隆志（東工大）
pp. 73 - 78
SS2013-85
サブシステムの凝集度に着目したSimulinkモデルの設計品質メトリクス
○鈴木雄也・小林隆志（東工大）・久保孝行（アイシンAW）
pp. 79 - 84
SS2013-86
オブジェクトの動的特徴に着目した実行トレースの抽象化
○戸田達也（名大）・小林隆志（東工大）・渥美紀寿（名大）・阿草清滋（京大）
pp. 85 - 90
SS2013-87
コードクローンを用いたコード補完手法の提案
○石原知也・肥後芳樹・楠本真二（阪大）
pp. 91 - 96
SS2013-88
ビジュアルブロックを採用したドメイン特化言語とその開発ツールの実現手法
○栗原あずさ・佐々木 晃（法政大）・脇田 建（東工大）
pp. 97 - 102
SS2013-89
DSLラインエンジニアリング支援環境の設計
○黄 長贇・亀井靖高・鵜林尚靖（九大）
pp. 103 - 108
SS2013-90
リポジトリマイニングを用いたリファクタリングが開発に与える影響の測定
○木村秀平・肥後芳樹・楠本真二（阪大）
pp. 109 - 114
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．