Information and Systems-Software Science(Date:2009/02/23)

Presentation
表紙

,  

[Date]2009/2/23
[Paper #]
目次

,  

[Date]2009/2/23
[Paper #]
Improving Pairwise Testing Using the Properties of the System under Test

Kentaro HIDESHIMA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2009/2/23
[Paper #]SS2008-48
A Support Method for Refactoring MVC based Web Applications to Dependency Injection Pattern

Yue SHEN,  Naoki FUKUYASU,  Atsushi YOSHIDA,  Tsuneo AJISAKA,  

[Date]2009/2/23
[Paper #]SS2008-49
An Application development using the object oriented language based on an improvement taint model

Kiyotaka ATSUMI,  Shigeru MASUYAMA,  

[Date]2009/2/23
[Paper #]SS2008-50
A Verification of web applications by model checing apache cocoon flowscript

Takashi Baba,  Shoji Yuen,  Kiyoshi Agusa,  

[Date]2009/2/23
[Paper #]SS2008-51
A division technique for a SAT problem in a distributed SAT solver

Akihide TAKAMI,  Hidetomo NABESHIMA,  Koji IWANUMA,  

[Date]2009/2/23
[Paper #]SS2008-52
Model Checking of Timed Automata

Akio NAKATA,  

[Date]2009/2/23
[Paper #]SS2008-53
教育用コンパイラXCCとその可視化ツールMieruCompiler

,  

[Date]2009/2/23
[Paper #]SS2008-54
x86版DRACULAのバグ修復と予備評価

,  

[Date]2009/2/23
[Paper #]SS2008-55
A Software Design Support Tool Perseus with Reverse Engineering Function

Naoya SAISHO,  Tetsuro KAKESHITA,  

[Date]2009/2/23
[Paper #]SS2008-56
Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord

Ryohei TERADA,  Keisuke FUJIMOTO,  Yasuichi NAKAYAMA,  

[Date]2009/2/23
[Paper #]SS2008-57
複写される方へ

,  

[Date]2009/2/23
[Paper #]
Notice for Photocopying

,  

[Date]2009/2/23
[Paper #]
奥付

,  

[Date]2009/2/23
[Paper #]