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) [schedule] [select]
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
Prof. Kenzi Watanabe
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 TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.
Invited TalkEach 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

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.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[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]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan