|
|
| Chair |
|
Tsuneo Ajisaka (Wakayama Univ.) |
| Vice Chair |
|
Hiroyuki Seki (NAIST) |
| Secretary |
|
Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.) |
|
| Conference Date |
Mon, Mar 2, 2009 14:00 - 18:00
Tue, Mar 3, 2009 09:30 - 11:45 |
| Topics |
general |
| Conference Place |
Honjo Campus, Saga University |
| Address |
1 Honjo-machi, Saga-city, Saga, 840-8520 Japan |
Contact
Person |
Prof. Kenzi Watanabe |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Mon, Mar 2 PM
14:00 - 18:00 |
| (1) |
14:00-14:30 |
Improving Pairwise Testing Using the Properties of the System under Test  SS2008-48 |
Kentaro Hideshima, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
| (2) |
14:30-15:00 |
A Support Method for Refactoring MVC based Web Applications to Dependency Injection Pattern SS2008-49 |
Yue Shen, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
An Application development using the object oriented language based on an improvement taint model SS2008-50 |
Kiyotaka Atsumi (Suzuka National Coll. of Tech.), Shigeru Masuyama (Toyohashi Univ. of Tech.) |
| (4) |
15:45-16:15 |
A verification of web applications by model checing apache cocoon flowscript SS2008-51 |
Takashi Baba, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.) |
| (5) |
16:15-16:45 |
A division technique for a SAT problem in a distributed SAT solver SS2008-52 |
Akihide Takami, Hidetomo Nabeshima, Koji Iwanuma (Yamanashi Univ) |
| |
16:45-17:00 |
Break ( 15 min. ) |
| (6) |
17:00-18:00 |
[Invited Talk]
Model Checking of Timed Automata SS2008-53 |
Akio Nakata (Hiroshima City Univ.) |
Tue, Mar 3 AM
09:30 - 11:45 |
| (7) |
09:30-10:00 |
Educational Compiler 'XCC' and its visualizing tool 'MieruCompiler' SS2008-54 |
Katsuhiko Gondow, Hiroya Nozaki (Tokyo Inst. of Tech.) |
| (8) |
10:00-10:30 |
Bug fixing and preliminary evaluation for x86 DRACULA SS2008-55 |
Seiya Ohsuga (Tokyo Insst. of Tech.), Takamitsu Tahara (NEC Co.), Katsuhiko Gondow (Tokyo Insst. of Tech.) |
| |
10:30-10:45 |
Break ( 15 min. ) |
| (9) |
10:45-11:15 |
A Software Design Support Tool Perseus with Reverse Engineering Function SS2008-56 |
Naoya Saisho, Tetsuro Kakeshita (Saga Univ.) |
| (10) |
11:15-11:45 |
Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord SS2008-57 |
Ryohei Terada, Keisuke Fujimoto, Yasuichi Nakayama (The Univ. of Electro-Commu.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
| Invited Talk | Each speech will have 40 minutes for presentation and 20 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Naruki Mitsuda (Wakayama Univ.)
TEL 073-457-8433
FAX 073-457-8434
E- :  n       -u |
| Announcement |
Latest information will be presented on the homepage
http://sdlab.sys.wakayama-u.ac.jp/ss/ |
Last modified: 2009-09-07 15:52:50
|