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

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

,  

[発表日]2008/2/25
[資料番号]
目次

,  

[発表日]2008/2/25
[資料番号]
プロダクトライン開発のためのフィーチャ指向単体テストの一手法

福田 雅隆,  中西 恒夫,  北須賀 輝明,  田頭 茂明,  福田 晃,  

[発表日]2008/2/25
[資料番号]SS2007-57
動的型言語への柔らかい型付けによるエラー検出

山田 晃久,  草刈 圭一朗,  酒井 正彦,  坂部 俊樹,  西田 直樹,  

[発表日]2008/2/25
[資料番号]SS2007-58
有界モデル検査を用いた複数UML図の形式的検証

宮崎 仁,  横川 智教,  佐藤 貞仁,  佐藤 洋一郎,  早瀬 道芳,  

[発表日]2008/2/25
[資料番号]SS2007-59
単純型付き項書き換え系における静的依存対法とその周辺

草刈 圭一朗,  酒井 正彦,  

[発表日]2008/2/25
[資料番号]SS2007-60
等式を規則化する変換の停止条件

水野 清貴,  西田 直樹,  坂部 俊樹,  酒井 正彦,  草刈 圭一朗,  

[発表日]2008/2/25
[資料番号]SS2007-61
自己合成法を利用した再帰プログラムの情報流解析法について

伊藤 信裕,  関 浩之,  

[発表日]2008/2/25
[資料番号]SS2007-62
Token Comparison Approach to Detect Code Clone-related Bugs

,  

[発表日]2008/2/25
[資料番号]SS2007-63
UMLメトリクスを利用したオブジェクト指向ソフトウェアの品質予測モデル

カマルゴ クルズ アナ エリカ,  落水 浩一郎,  

[発表日]2008/2/25
[資料番号]SS2007-64
既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論

李 蓮福,  石川 悠司,  小島 慶久,  吉田 浩章,  余宮 尚志,  小松 聡,  藤田 昌宏,  

[発表日]2008/2/25
[資料番号]SS2007-65
アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル

水野 良太,  今井 敬吾,  末次 亮,  金子 伸幸,  山本 晋一郎,  阿草 清滋,  

[発表日]2008/2/25
[資料番号]SS2007-66
MDA体系に沿ったGUIモデル変換手法

迎田 宙,  岩田 一,  白銀 純子,  深澤 良彰,  

[発表日]2008/2/25
[資料番号]SS2007-67
既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価

北沢 直幸,  長田 晃,  上條 和幸,  海谷 治彦,  海尻 賢二,  

[発表日]2008/2/25
[資料番号]SS2007-68
タスク割り当て時の応答時間短縮を目的とした,静的なタスク実行粒度調整手法

金光 永煥,  中里 秀則,  星合 隆成,  浦野 義頼,  

[発表日]2008/2/25
[資料番号]SS2007-69
セキュアなソフトウェア開発を実現するセキュアソフト工学の提案

斉藤 典明,  小田 哲,  宮澤 俊之,  知加良 盛,  川村 亨,  金井 敦,  

[発表日]2008/2/25
[資料番号]SS2007-70
メトリクス値の変遷に基づくソフトウェアの特性分析手法の提案と実装

村尾 憲治,  肥後 芳樹,  井上 克郎,  

[発表日]2008/2/25
[資料番号]SS2007-71
要求の構造に基づく要求品質の管理

服部 昇,  山本 修一郎,  

[発表日]2008/2/25
[資料番号]SS2007-72
実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法

河井 敏宏,  中田 明夫,  

[発表日]2008/2/25
[資料番号]SS2007-73
反例に基づく抽象化改良ループによる時間オートマトンの抽象化手法

長岡 武志,  岡野 浩三,  楠本 真二,  

[発表日]2008/2/25
[資料番号]SS2007-74
12>> 1-20hit(23hit)