Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
SS2010-28
要求フレームを利用した品質要求分析支援
○海谷治彦（信州大）・大西 淳（立命館大）
pp. 1 - 6
SS2010-29
スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価
○鈴木駿一・梅村真弘・谷川正明・小川 亮・海谷治彦・海尻賢二（信州大）
pp. 7 - 12
SS2010-30
形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法
○野村 潤・成瀬龍人（九工大）・外村慶二・鵜林尚靖（九大）・司代尊裕・岩井明史（デンソー）
pp. 13 - 18
SS2010-31
コードの生存期間を考慮したコードクローンと欠陥修正の関係調査
○齋藤 晃（阪大）・吉田則裕（奈良先端大）・松下 誠・井上克郎（阪大）
pp. 19 - 24
SS2010-32
ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査
○鹿島 悠（阪大）・早瀬康裕（東洋大）・吉田則裕（奈良先端大）・真鍋雄貴・井上克郎（阪大）
pp. 25 - 30
SS2010-33
［招待講演］近年の一階論理定理証明プログラムの実際
○岩沼宏治（山梨大）
pp. 31 - 36
SS2010-34
結合テストにおけるテスト項目自動生成手法の提案と評価
○丹野治門・張 暁晶・星野 隆（NTT）
pp. 37 - 42
SS2010-35
欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出
○出張純也・菊野 亨（阪大）・菊地奈穂美（OKI）・平山雅之（情報処理推進機構）
pp. 43 - 48
SS2010-36
等式理論を法とするDPLL遷移系について
○馬場達也・坂部俊樹・西田直樹・草刈圭一朗・酒井正彦（名大）
pp. 49 - 54
SS2010-37
難解言語Malbolgeのチューリング完全性について
○長坂 哲・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）
pp. 55 - 60
SS2010-38
FreeBSDのソースコードレポジトリにおけるリビジョンを超えたコード断片のコピーの分析
○神谷年洋（公立はこだて未来大）
pp. 61 - 65
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．