|
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
|