| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Tsuneo Ajisaka (Wakayama Univ.) Vice Chair: Hiroyuki Seki (NAIST) Secretary: Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.) DATE: Mon, Mar 2, 2009 14:00 - 18:00 Tue, Mar 3, 2009 09:30 - 11:45 PLACE: Honjo Campus, Saga University(1 Honjo-machi, Saga-city, Saga, 840-8520 Japan. Prof. Kenzi Watanabe) TOPICS: general ---------------------------------------- Mon, Mar 2 PM (14:00 - 18:00) ---------------------------------------- (1) 14:00 - 14:30 Improving Pairwise Testing Using the Properties of the System under Test 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 Yue Shen, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) ----- Break ( 15 min. ) ----- (3) 15:15 - 15:45 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.) (4) 15:45 - 16:15 A verification of web applications by model checing apache cocoon flowscript 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 Akihide Takami, Hidetomo Nabeshima, Koji Iwanuma (Yamanashi Univ) ----- Break ( 15 min. ) ----- (6) 17:00 - 18:00 [Invited Talk] Model Checking of Timed Automata 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' Katsuhiko Gondow, Hiroya Nozaki (Tokyo Inst. of Tech.) (8) 10:00 - 10:30 Bug fixing and preliminary evaluation for x86 DRACULA Seiya Ohsuga (Tokyo Insst. of Tech.), Takamitsu Tahara (NEC Co.), Katsuhiko Gondow (Tokyo Insst. of Tech.) ----- Break ( 15 min. ) ----- (9) 10:45 - 11:15 A Software Design Support Tool Perseus with Reverse Engineering Function Naoya Saisho, Tetsuro Kakeshita (Saga Univ.) (10) 11:15 - 11:45 Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord Ryohei Terada, Keisuke Fujimoto, Yasuichi Nakayama (The Univ. of Electro-Commu.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. Invited Talk will have 40 minutes for presentation and 20 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, May 21, 2009 - Fri, May 22, 2009: Akita University [Mon, Mar 23], Topics: general # SECRETARY: Naruki Mitsuda (Wakayama Univ.) TEL 073-457-8433 FAX 073-457-8434 E-mail:  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 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]