Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-63
identifying of an object from different viewpoints using its attributes in the computing environments
Fumiko Kouda (univ.ofTokyo), Takashi Chikayama (univ.of Tokyo)
pp. 1 - 6
SS2005-64
Pseudo Adaptive Methods
Noriki Amano (JAIST)
pp. 7 - 12
SS2005-65
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems
Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.)
pp. 13 - 18
SS2005-66
FTA - Product Line Engineering Collaboration
Atsushi Noda, Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.)
pp. 19 - 24
SS2005-67
Type Judgement System for Communication Error in Distributed JoinJAVA Programs
Masaki Saeki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 25 - 30
SS2005-68
Metrics for effort estimation on contracting maintenance service
Kenichi Kobayashi, Toshiaki Yoshino (Fujitsu Labs.), Katsuro Inoue, Yasuhiro Hayase (Osaka Univ.), , (Fujitsu Labs.)
pp. 31 - 36
SS2005-69
Exploration of scale-freeness of use-relations of software components
Makoto Ichii, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 37 - 42
SS2005-70
A Layered Architecture of Formal Specification
Xiaojing Zhang, Yoichi Omori, Keijiro Araki (Kyushu Univ.)
pp. 43 - 48
SS2005-71
Supporting Method for Insertion of Behaviors based on Security Requirements to Scenarios
Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 49 - 54
SS2005-72
A Software Process Tailoring System based on Quantitative Management Plans
Kazumasa Hikichi, Hajimu Iida, Ken-ichi Matsumoto (NAIST)
pp. 55 - 60
SS2005-73
*
Yasuhiro Hayase, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.), Kenichi Kobayashi, Toshiaki Yoshino (Fujitsu Lab.)
pp. 61 - 66
SS2005-74
Characterizing software projects unpredictable by effort estimation models
Koji Toda, Masateru Tsunoda, Akito Monden, Ken-ichi Matsumoto (NAIST)
pp. 67 - 72
SS2005-75
A Framework to Generate SPIN based Verification Codes for Struts WEB Applications
Takayuki Fujiwara, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 73 - 78