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

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

,  

[発表日]2009/2/23
[資料番号]
目次

,  

[発表日]2009/2/23
[資料番号]
システム特性を考慮したペアワイズテストの改良

秀島 健太郎,  土屋 達弘,  菊野 亨,  

[発表日]2009/2/23
[資料番号]SS2008-48
MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援

沈 悦,  福安 直樹,  吉田 敦,  鯵坂 恒夫,  

[発表日]2009/2/23
[資料番号]SS2008-49
改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発

渥美 清隆,  増山 繁,  

[発表日]2009/2/23
[資料番号]SS2008-50
Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証

馬場 敬,  結縁 祥治,  阿草 清滋,  

[発表日]2009/2/23
[資料番号]SS2008-51
分散並列型SATソルバにおける探索空間の分割手法の提案

高見 明秀,  鍋島 英知,  岩沼 宏治,  

[発表日]2009/2/23
[資料番号]SS2008-52
時間オートマトンのモデル検査

中田 明夫,  

[発表日]2009/2/23
[資料番号]SS2008-53
教育用コンパイラXCCとその可視化ツールMieruCompiler

権藤 克彦,  野崎 広弥,  

[発表日]2009/2/23
[資料番号]SS2008-54
x86版DRACULAのバグ修復と予備評価

大菅 星哉,  田原 貴光,  権藤 克彦,  

[発表日]2009/2/23
[資料番号]SS2008-55
ソフトウェア設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み

才所 直也,  掛下 哲郎,  

[発表日]2009/2/23
[資料番号]SS2008-56
カラー二次元コードを高解像度化するための認識アルゴリズムの実現と評価

寺田 遼平,  藤本 敬介,  中山 泰一,  

[発表日]2009/2/23
[資料番号]SS2008-57
複写される方へ

,  

[発表日]2009/2/23
[資料番号]
Notice for Photocopying

,  

[発表日]2009/2/23
[資料番号]
奥付

,  

[発表日]2009/2/23
[資料番号]