|
|
| 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 |
Contact
Person |
Dr. Fumitaro GOTO |
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) |
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 Talk | Each 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- :  n       -u |
| Announcement |
Latest information will be presented on the homepage
http://sdlab.sys.wakayama-u.ac.jp/ss/ |
Last modified: 2009-09-07 13:28:06
|