Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-24
A Validation Method of Scenarios with Animation
Hiroki Shudo, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 1 - 6
SS2005-25
Model-Checking of State Diagram with Priority
Shin Nakajima (NII)
pp. 7 - 12
SS2005-26
Decidability of Termination for Semi-Constructor Term Rewriting Systems
Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)
pp. 13 - 18
SS2005-27
Automatic code generation for object sending/receiving in Web services
Kazuyoshi Uenohira, Naruki Mitsuda, Naoki Fukuyasu, Tsuneo Ajisaka (Wakayama Univ.)
pp. 19 - 24
SS2005-28
User-preferred Interface Design Based on Semantic Web Technology
Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara (Hokkaido Univ.)
pp. 25 - 30
SS2005-29
Improvement of analysis model by removing improper parts based on functional size measurement
Shin-ichi Nagano (NTT), Tsuneo Ajisaka (Wakayama Univ.)
pp. 31 - 36
SS2005-30
Code Clone Analysis Using a Code Clone Analysis Tool Gemini
Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.)
pp. 37 - 42
SS2005-31
Code Clone Origin Analysis Using Version Control System
Shinji Kawaguchi, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 43 - 48
SS2005-32
A Software Architecture for Accountability and Ease-of-Evolution in University Registration System
Ryo Hayasaka, Kazuhiro Fujieda, Koichiro Ochimizu (JAIST)
pp. 49 - 54