|
|
| Chair |
|
Toshiki Sakabe |
| Vice Chair |
|
Tsuneo Ajisaka |
| Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
| Conference Date |
Thu, Jun 21, 2007 13:45 - 17:00
Fri, Jun 22, 2007 09:30 - 12:25 |
| Topics |
General |
| Conference Place |
Japan Advanced Institute of Science and Technology |
| Address |
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Nomi, Ishikawa, 923-1292 Japanwww |
| Transportation Guide |
http://www.jaist.ac.jp/~kouhou/General_info/access/access.html |
Contact
Person |
OGATA Kazuhiro |
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, Jun 21 PM
13:45 - 17:00 |
| (1) |
13:45-14:25 |
Detection of Crosscutting Concerns using Method Call Patterns  SS2007-9 |
Tatsuya Miyake, Takashi Ishio, Koji Taniguchi, Katsuro Inoue (Osaka Univ.) |
| (2) |
14:25-15:05 |
Coordination and Verfication of Software Components Orchestrated by Coordinator |
Hsin-Hung Lin, Takuya Katayama (JAIST) |
| (3) |
15:05-15:45 |
Negotiating method among alternatives (sub-goals) in Goal-Oriented Requirements Analysis SS2007-10 |
Aldamuratov Jomart, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) |
| |
15:45-16:00 |
Break ( 15 min. ) |
| (4) |
16:00-17:00 |
[Invited Talk]
Legal Engineering
-- Laws as Specification of our Society and its Engineering Approach -- SS2007-11 |
Takuya Katayama (JAIST) |
Fri, Jun 22 AM
09:30 - 12:25 |
| (5) |
09:30-10:10 |
Static Dependeycy Pair Method for Proving Termination of Higher-Order Rewriting Systems SS2007-12 |
Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
| (6) |
10:10-10:50 |
Argument Filtering Method on Second-Order Rewriting System SS2007-13 |
Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
| |
10:50-11:05 |
Break ( 15 min. ) |
| (7) |
11:05-11:45 |
The Design and Implementation of Software Accountability Functions for Course Registration System SS2007-14 |
Ryo Hayasaka, Hirotoshi Akiyama, Hayato Sugimori, Shintaro Kitayama, Masato Suzuki, Koichiro Ochimizu (JAIST) |
| (8) |
11:45-12:25 |
Formal Description and Verification of Domains SS2007-15 |
Yasuhito Arimoto, Kokichi Futatsugi (JAIST) |
| Announcement for Speakers |
| General Talk (40分) | Each speech will have 30 minutes for presentation and 10 minutes for discussion. |
| Invited Talk (60分) | Each 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 |
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: 2007-06-19 20:15:14
|