| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka Secretary: Katsuhiko Gondow, Keiichirou Kusakari DATE: Thu, Jun 21, 2007 13:45 - 17:00 Fri, Jun 22, 2007 09:30 - 12:25 PLACE: Japan Advanced Institute of Science and Technology(Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa, 923-1292 Japanwww. http://www.jaist.ac.jp/~kouhou/General_info/access/access.html. OGATA Kazuhiro) TOPICS: General ---------------------------------------- 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.) ----- 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.) ----- 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) # Information for speakers General Talk (40分) will have 30 minutes for presentation and 10 minutes for discussion. Invited Talk (60分) will have 40 minutes for presentation and 20 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Aug 2, 2007 - Fri, Aug 3, 2007: Hokkaido Univ. [Mon, May 21], Topics: general # SECRETARY: KUSAKARI Keiichirou (Nagoya University) TEL 052-789-3973 FAX 052-789-3801 E-mail:      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 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]