Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-7
How to Extract Goals for Business Domain Analysis?
Takako Nakatani (S-Lagoon Co.,Ltd.), Terunobu Fujino (InArcadia Cipo.)
pp. 1 - 6
SS2005-8
Ontology based Requirements Analysis
Haruhiko Kaiya (Shishu Univ.), Motoshi Saeki (titech)
pp. 7 - 12
SS2005-9
Experimental production of web browser with browsing state restoration function in support of understanding software
Takaaki Imaeda, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 13 - 18
SS2005-10
Toward an effective fine-grained syntactic and semantic scheme for program analysis
Atsushi Yoshida, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda (Wakayama Univ.)
pp. 19 - 24
SS2005-11
JavaScript Type Checker based on Model Generation Theorem Prover
Hirotaka Ohkubo, Shinichiro Yamamoto (Aichi Pref. Univ.), Toshiki Sakabe (Nagoya Univ.), Yasuyoshi Inagaki (Aichi Pref. Univ.)
pp. 25 - 30