IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2007-06-21 - 2007-06-22 / Issue Date : 2007-06-14

SS2007-9
Detection of Crosscutting Concerns using Method Call Patterns
Tatsuya Miyake, Takashi Ishio, Koji Taniguchi, Katsuro Inoue (Osaka Univ.)
pp. 1 - 6

SS2007-10
Negotiating method among alternatives (sub-goals) in Goal-Oriented Requirements Analysis
Aldamuratov Jomart, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 7 - 12

SS2007-11
[Invited Talk] Legal Engineering -- Laws as Specification of our Society and its Engineering Approach --
Takuya Katayama (JAIST)
pp. 13 - 16

SS2007-12
Static Dependeycy Pair Method for Proving Termination of Higher-Order Rewriting Systems
Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 17 - 22

SS2007-13
Argument Filtering Method on Second-Order Rewriting System
Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 23 - 28

SS2007-14
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)
pp. 29 - 34

SS2007-15
Formal Description and Verification of Domains
Yasuhito Arimoto, Kokichi Futatsugi (JAIST)
pp. 35 - 40

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan