| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2008)
Search Results: Keywords 'from:2009-03-02 to:2009-03-02'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2009-03-02 14:00 |
Saga | Saga University | Improving Pairwise Testing Using the Properties of the System under Test Kentaro Hideshima, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)  SS2008-48 |
A testing process takes a large part of the whole software development process, and thus testing methods are required th... [more] | SS2008-48 pp.1-6 |
| SS | 2009-03-02 14:30 |
Saga | Saga University | A Support Method for Refactoring MVC based Web Applications to Dependency Injection Pattern Yue Shen, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) SS2008-49 |
[more] | SS2008-49 pp.7-12 |
| SS | 2009-03-02 15:15 |
Saga | Saga University | An Application development using the object oriented language based on an improvement taint model Kiyotaka Atsumi (Suzuka National Coll. of Tech.), Shigeru Masuyama (Toyohashi Univ. of Tech.) SS2008-50 |
Although the taint model and sandbox model are proposed as a security model of a programming language, we have proposed... [more] |
SS2008-50 pp.13-16 |
| SS | 2009-03-02 15:45 |
Saga | Saga University | A verification of web applications by model checing apache cocoon flowscript Takashi Baba, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.) SS2008-51 |
[more] | SS2008-51 pp.17-22 |
| SS | 2009-03-02 16:15 |
Saga | Saga University | A division technique for a SAT problem in a distributed SAT solver Akihide Takami, Hidetomo Nabeshima, Koji Iwanuma (Yamanashi Univ) SS2008-52 |
In this paper, we introduce SatCube which is a Boolean satisfiability (SAT) problem solver and is a parallel and distrib... [more] | SS2008-52 pp.23-28 |
| SS | 2009-03-02 17:00 |
Saga | Saga University | [Invited Talk]
Model Checking of Timed Automata Akio Nakata (Hiroshima City Univ.) SS2008-53 |
In this paper, we briefly describe model checking of timed automata, one of the verification techniques of real-time sys... [more] | SS2008-53 pp.29-34 |
| SS | 2009-03-03 09:30 |
Saga | Saga University | Educational Compiler 'XCC' and its visualizing tool 'MieruCompiler' Katsuhiko Gondow, Hiroya Nozaki (Tokyo Inst. of Tech.) SS2008-54 |
[more] | SS2008-54 pp.35-42 |
| SS | 2009-03-03 10:00 |
Saga | Saga University | Bug fixing and preliminary evaluation for x86 DRACULA Seiya Ohsuga (Tokyo Insst. of Tech.), Takamitsu Tahara (NEC Co.), Katsuhiko Gondow (Tokyo Insst. of Tech.) SS2008-55 |
[more] | SS2008-55 pp.43-48 |
| SS | 2009-03-03 10:45 |
Saga | Saga University | A Software Design Support Tool Perseus with Reverse Engineering Function Naoya Saisho, Tetsuro Kakeshita (Saga Univ.) SS2008-56 |
In software development, a design and implementation must be separated and software should be developed systematically. ... [more] | SS2008-56 pp.49-54 |
| SS | 2009-03-03 11:15 |
Saga | Saga University | Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord Ryohei Terada, Keisuke Fujimoto, Yasuichi Nakayama (The Univ. of Electro-Commu.) SS2008-57 |
Recently 2D cord represented by the QR cord attracts attention as a method to give information to a handheld unit. We c... [more] |
SS2008-57 pp.55-60 |
[Return to Top Page]