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 Thu, Aug 6, 2009 10:30 - 17:30
Fri, Aug 7, 2009 09:00 - 12:15
Topics general 
Conference Place Kitami Institute of Technology 
Address 165 Koen-cho kitami, Hokkaido 090-8507, JAPAN
Dr. Fumitaro GOTO
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)

Thu, Aug 6 AM 
10:30 - 17:30
(1) 10:30-11:00 A Structure Analysis Method for Programs with Recursive Calls SS2009-12 Masanori Ohdan (Shimane Univ.), Tadamasa Satou
(2) 11:00-11:30 A Prototype Implementation of Reverse-Engineering Toolkit: Remics SS2009-13 Toshihiro Kamiya (AIST)
(3) 11:30-12:00 Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages. SS2009-14 Isamu Hasegawa (Nomura Research Institute, Ltd.), Katsuhiko Gondow (Tokyo Inst. of Tech.)
  12:00-13:00 Lunch Break ( 60 min. )
(4) 13:00-13:30 Archface: An Interface Mechanism for Bridging a Gap between Architectural Design and Implementation SS2009-15 Jun Nomura, Naoyasu Ubayashi (Kyushu Institute of Technology)
(5) 13:30-14:00 Incremental Feature Location Using Dynamic Slicing SS2009-16 Katsuyuki Sekine, Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
(6) 14:00-14:30 Software Classification According to their Functionality based on Used Classes SS2009-17 Tomoyoshi Ushimado, Akito Monden (NAIST), Haruaki Tamada (Kyoto Sangyo Univ), Ken-ichi Matsumoto (NAIST)
  14:30-14:45 Break ( 15 min. )
(7) 14:45-15:15 Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2 SS2009-18 Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
(8) 15:15-15:45 Rodin Plugin to Link Event-B with SPIN SS2009-19 Thomas Muller, Shin Nakajima (NII)
(9) 15:45-16:15 On Formalizing Behavioral Aspects of Reflective Computation SS2009-20 Takuo Watanabe (Tokyo Inst. of Tech.)
  16:15-16:30 Break ( 15 min. )
(10) 16:30-17:00 A study on cost-effective software configuration management for the maintenance of system SS2009-21 Yuji Sakata, Shinji Iwasaki, Shuichiro Yamamoto (NTT Data Corp.)
(11) 17:00-17:30 Requirements Validation Criteria and Method based on Actors Interaction SS2009-22 Noboru Hattori (NTT DATA/Wakayama Univ.), Shuichiro Yamamoto (NTT DATA), Tsuneo Ajisaka (Wakayama Univ.), Tsuyoshi Kitani (NTT DATA)
Fri, Aug 7 AM 
09:00 - 12:15
(12) 09:00-09:30 Automatic Generation of Access Control Command from Information Flow Specification SS2009-23 Yoshimasa Morita, Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (NAIST)
(13) 09:30-10:00 Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System SS2009-24 Satoshi Hattori (Tokyo Inst. of Tech.)
(14) 10:00-10:30 Guidelines and Anti-Patterns for Feature Modeling to Predesign Software Architecture SS2009-25 Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
  10:30-10:45 Break ( 15 min. )
(15) 10:45-11:15 Discrimination of Unsuitable Estimation Project in Estimation by Analogy SS2009-26 Tetsuaki Nakamura, Takeshi Kakimoto, Shinji Kusumoto (Osaka Univ.)
(16) 11:15-11:45 Metrics to Validate Software Maintenance Process using Bug Tracking System SS2009-27 Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST)
(17) 11:45-12:15 On the Job Learing: A New Software Engineering Education Method on Collaboration between Academia and Industry SS2009-28 Takashi Kobayashi (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Shinichiro Yamamoto (AIchi Pref. Univ), Masami Noro (Nanzan Univ.), Kiyoshi Agusa (Nagoya Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 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--mail: n-u 
Announcement Latest information will be presented on the homepage

Last modified: 2009-09-07 13:28:06

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]

[Return to IEICE Web Page]

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