情報・システム-ソフトウェアサイエンス(開催日:2010/10/07)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2010/10/7
[資料番号]
目次

,  

[発表日]2010/10/7
[資料番号]
要求フレームを利用した品質要求分析支援

海谷 治彦,  大西 淳,  

[発表日]2010/10/7
[資料番号]SS2010-28
スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価

鈴木 駿一,  梅村 真弘,  谷川 正明,  小川 亮,  海谷 治彦,  海尻 賢二,  

[発表日]2010/10/7
[資料番号]SS2010-29
形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法

野村 潤,  成瀬 龍人,  外村 慶二,  鵜林 尚靖,  司代 尊裕,  岩井 明史,  

[発表日]2010/10/7
[資料番号]SS2010-30
コードの生存期間を考慮したコードクローンと欠陥修正の関係調査

齋藤 晃,  吉田 則裕,  松下 誠,  井上 克郎,  

[発表日]2010/10/7
[資料番号]SS2010-31
ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査

鹿島 悠,  早瀬 康裕,  吉田 則裕,  真鍋 雄貴,  井上 克郎,  

[発表日]2010/10/7
[資料番号]SS2010-32
近年の一階論理定理証明プログラムの実際

岩沼 宏治,  

[発表日]2010/10/7
[資料番号]SS2010-33
結合テストにおけるテスト項目自動生成手法の提案と評価

丹野 治門,  張 暁晶,  星野 隆,  

[発表日]2010/10/7
[資料番号]SS2010-34
欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出

出張 純也,  菊野 亨,  菊地 奈穂美,  平山 雅之,  

[発表日]2010/10/7
[資料番号]SS2010-35
等式理論を法とするDPLL遷移系について

馬場 達也,  坂部 俊樹,  西田 直樹,  草刈 圭一朗,  酒井 正彦,  

[発表日]2010/10/7
[資料番号]SS2010-36
難解言語Malbolgeのチューリング完全性について

長坂 哲,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  西田 直樹,  

[発表日]2010/10/7
[資料番号]SS2010-37
FreeBSDのソースコードレポジトリにおけるリビジョンを超えたコード断片のコピーの分析

神谷 年洋,  

[発表日]2010/10/7
[資料番号]SS2010-38
複写される方へ

,  

[発表日]2010/10/7
[資料番号]
Notice for Photocopying

,  

[発表日]2010/10/7
[資料番号]
奥付

,  

[発表日]2010/10/7
[資料番号]
裏表紙

,  

[発表日]2010/10/7
[資料番号]