Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-83
An AHP Based Technique for Selecting Requirements Alternatives
Takao Yamazaki, Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 1 - 6
SS2005-84
Model Checking Integrated Services of Home Network Systems
Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 7 - 12
SS2005-85
Lexicographic Path Ordering for Proving Termination of Functional Programs
Yumi Hoshino, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 13 - 18
SS2005-86
Performance verification considering the network delay for Real-time Distributed Systems with the probabilistic model checker PRISM
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 19 - 24
SS2005-87
A proposal for Web ApplicationFramework improving Modularity of page and function
Takao Haraguchi (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.)
pp. 25 - 30
SS2005-88
Runtime environment of workflows for change support in a cooperative software development
Masayuki Kotani, Koichiro Ochimizu (JAIST)
pp. 31 - 36