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

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

,  

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

,  

[発表日]2010/7/29
[資料番号]
ソフトウェア開発組織のプロセス特性とソフトウェア品質との因果関係の定量的な推定法

板橋 吉徳,  落水 浩一郎,  

[発表日]2010/7/29
[資料番号]SS2010-16
パターンに基づくコーディングルール構成手法の提案

長谷川 勇,  

[発表日]2010/7/29
[資料番号]SS2010-17
ユーザ満足度を損ねずに省エネルギーを目指す要求適正化手法 : 開発コストを考慮した省エネルギー仕様選択

中里 竜,  安東 孝信,  深谷 哲司,  

[発表日]2010/7/29
[資料番号]SS2010-18
デバッキングのための関心事指向推薦システム

塩塚 大,  鵜林 尚靖,  

[発表日]2010/7/29
[資料番号]SS2010-19
プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法

山田 吾郎,  吉田 則裕,  井上 克郎,  

[発表日]2010/7/29
[資料番号]SS2010-20
モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保

只野 賢二,  栗田 太郎,  

[発表日]2010/7/29
[資料番号]SS2010-21
実時間システムを対象としたCEGARによる抽象洗練の並列化手法

田中 俊彰,  長岡 武志,  岡野 浩三,  楠本 真二,  

[発表日]2010/7/29
[資料番号]SS2010-22
Event-Bで書かれたシステム要求仕様の妥当性検査

中島 震,  

[発表日]2010/7/29
[資料番号]SS2010-23
高階書換え系における引数切り落とし法と実効規則

鈴木 翔,  草刈 圭一朗 /,  

[発表日]2010/7/29
[資料番号]SS2010-24
OCLのJMLへの変換ツールの実装について

宮澤 清介,  岡野 浩三,  楠本 真二,  

[発表日]2010/7/29
[資料番号]SS2010-25
バージョン管理システムのリポジトリを対象とするコード検索ツールの試作

神谷 年洋,  

[発表日]2010/7/29
[資料番号]SS2010-26
コメント文によるプログラム中に出現する名詞の説明文生成

藤木 哲也,  早瀬 康裕,  井上 克郎,  

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

,  

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

,  

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

,  

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