|
|
| Chair |
|
Toshiki Sakabe (Nagoya Univ.) |
| Vice Chair |
|
Tsuneo Ajisaka (Wakayama Univ.) |
| Secretary |
|
Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.) |
|
| Conference Date |
Mon, Mar 3, 2008 10:10 - 17:20
Tue, Mar 4, 2008 09:30 - 12:15 |
| Topics |
general |
| Conference Place |
Bunkyo Campus, Nagasaki University |
| Address |
Bunkyo-machi 1-14, Nagasaki 852-8521 |
| Transportation Guide |
http://www.eng.nagasaki-u.ac.jp/access/access.html |
Contact
Person |
Shuji Narazaki |
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 3
10:10 - 17:20 |
| (1) |
10:10-10:35 |
A Parametric Execution Time Analysis Method for Reuse of Real-time Software  SS2007-57 |
Toshihiro Kawai, Akio Nakata (Hiroshima City Univ.) |
| (2) |
10:35-11:00 |
A Method for Feature-Oriented Unit Test for Software Product Lines SS2007-58 |
Masataka Fukuda, Tsuneo Nakanishi (Kyushu Univ.), Teruaki Kitasuka (Kumamoto Univ.), Shigeaki Tagashira, Akira Fukuda (Kyushu Univ.) |
| (3) |
11:00-11:25 |
Error Detection with Soft Typing for Dynamically Typed Languages SS2007-59 |
Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
| (4) |
11:25-11:50 |
Formal verification of multiple UML diagrams using bounded model checking SS2007-60 |
Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.) |
| |
11:50-13:05 |
Lunch Break ( 75 min. ) |
| (5) |
13:05-13:30 |
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques SS2007-61 |
Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.) |
| (6) |
13:30-13:55 |
A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules SS2007-62 |
Kiyotaka Mizuno, Naoki Nishida, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari (Nagoya Univ.) |
| (7) |
13:55-14:20 |
On Information Flow Analysis for Recursive Programs Based on Self-Composition SS2007-63 |
Nobuhiro Itoh, Hiroyuki Seki (NAIST) |
| |
14:20-14:35 |
Break ( 15 min. ) |
| (8) |
14:35-15:00 |
Token Comparison Approach to Detect Code Clone-related Bugs SS2007-64 |
Yii Yong Lee, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
| (9) |
15:00-15:25 |
Quality prediction model for object oriented software using UML metrics SS2007-65 |
Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST) |
| (10) |
15:25-15:50 |
Specification Description and High-level Design Methodology of SoC Considering Design Reuse SS2007-66 |
Yeonbok Lee, Yuji Ishikawa, Yoshihisa Kojima, Hiroaki Yoshida (Tokyo Univ.), Hisashi Yomiya (TOSHIBA Corp.), Satoshi Komatsu, Masahiro Fujita (Tokyo Univ.) |
| |
15:50-16:05 |
Break ( 15 min. ) |
| (11) |
16:05-16:30 |
A Web Application Bi-Execution Model for a Framework Preventing Amazon-Bug SS2007-67 |
Ryota Mizuno, Keigo Imai, Ryo Suetsugu, Nobuyuki Kaneko (Nagoya Univ.), Shinichiro Yamamoto (Aichi Prefectural Univ.), Kiyoshi Agusa (Nagoya Univ.) |
| (12) |
16:30-16:55 |
A Method for GUI Model Transformation in MDA SS2007-68 |
Hiroshi Mukaeda, Hajime Iwata (Wasedan Univ.), Junko Shirogane (TWCU), Yoshiaki Fukazawa (Wasedan Univ.) |
| (13) |
16:55-17:20 |
Implementation and Evaluation for Requirements Elicitation Tool based on comparison among existing similar systems SS2007-69 |
Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijyo, Haruhiko Kaiya, Kenji Kaijiri (SU) |
Tue, Mar 4
09:30 - 12:15 |
| (14) |
09:30-09:55 |
A task granularity control for reduction of response time at task assignment SS2007-70 |
Hidehiro Kanemitsu, Hidenori Nakazato, Takashige Hoshiai, Yoshiyori Urano (Waseda Univ.) |
| (15) |
09:55-10:20 |
A Proposal of The Secure Software Engineering SS2007-71 |
Noriaki Saito, Satoshi Oda, Toshiyuki Miyazawa, Sakae Chikara, Toru Kawamura, Atsushi Kanai (NTT) |
| (16) |
10:20-10:45 |
Software Characteristic Analysis Based on History of Software Metrics SS2007-72 |
Kenji Murao, Yoshiki Higo, Katsuro Inoue (Osaka Univ.) |
| |
10:45-11:00 |
Break ( 15 min. ) |
| (17) |
11:00-11:25 |
Requirements Quality Management based on the Requirements Structure SS2007-73 |
Noboru Hattori, Shuichiro Yamamoto (NTT DATA Corporation) |
| (18) |
11:25-11:50 |
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop SS2007-74 |
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
| (19) |
11:50-12:15 |
An Approach to analyze use-relation between software components with duplicated names SS2007-75 |
Makoto Ichii (Osaka Univ.), Reishi Yokomori (Nanzan Univ.), Katsuro Inoue (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 18 minutes for presentation and 7 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E- :      is    -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2008-02-13 17:23:59
|
Notification: Mail addresses are partially hidden against SPAM.
|