|
|
| 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 |
Thu, Jun 21 PM
13:45 - 17:00 |
| (1) |
13:45-14:25 |
Detection of Crosscutting Concerns using Method Call Patterns |
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 |
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 -- |
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 |
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 |
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 |
Ryo Hayasaka, Hirotoshi Akiyama, Hayato Sugimori, Shintaro Kitayama, Masato Suzuki, Koichiro Ochimizu (JAIST) |
| (8) |
11:45-12:25 |
Formal Description and Verification of Domains |
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
|