Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2009-12
A Structure Analysis Method for Programs with Recursive Calls
Masanori Ohdan (Shimane Univ.), Tadamasa Satou
pp. 1 - 6
SS2009-13
A Prototype Implementation of Reverse-Engineering Toolkit: Remics
Toshihiro Kamiya (AIST)
pp. 7 - 11
SS2009-14
Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages.
Isamu Hasegawa (Nomura Research Institute, Ltd.), Katsuhiko Gondow (Tokyo Inst. of Tech.)
pp. 13 - 18
SS2009-15
Archface: An Interface Mechanism for Bridging a Gap between Architectural Design and Implementation
Jun Nomura, Naoyasu Ubayashi (Kyushu Institute of Technology)
pp. 19 - 24
SS2009-16
Incremental Feature Location Using Dynamic Slicing
Katsuyuki Sekine, Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 25 - 30
SS2009-17
Software Classification According to their Functionality based on Used Classes
Tomoyoshi Ushimado, Akito Monden (NAIST), Haruaki Tamada (Kyoto Sangyo Univ), Ken-ichi Matsumoto (NAIST)
pp. 31 - 36
SS2009-18
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2
Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 37 - 42
SS2009-19
Rodin Plugin to Link Event-B with SPIN
Thomas Muller, Shin Nakajima (NII)
pp. 43 - 48
SS2009-20
On Formalizing Behavioral Aspects of Reflective Computation
Takuo Watanabe (Tokyo Inst. of Tech.)
pp. 49 - 52
SS2009-21
A study on cost-effective software configuration management for the maintenance of system
Yuji Sakata, Shinji Iwasaki, Shuichiro Yamamoto (NTT Data Corp.)
pp. 53 - 58
SS2009-22
Requirements Validation Criteria and Method based on Actors Interaction
Noboru Hattori (NTT DATA/Wakayama Univ.), Shuichiro Yamamoto (NTT DATA), Tsuneo Ajisaka (Wakayama Univ.), Tsuyoshi Kitani (NTT DATA)
pp. 59 - 64
SS2009-23
Automatic Generation of Access Control Command from Information Flow Specification
Yoshimasa Morita, Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (NAIST)
pp. 65 - 70
SS2009-24
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System
Satoshi Hattori (Tokyo Inst. of Tech.)
pp. 71 - 76
SS2009-25
Guidelines and Anti-Patterns for Feature Modeling to Predesign Software Architecture
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
pp. 77 - 82
SS2009-26
Discrimination of Unsuitable Estimation Project in Estimation by Analogy
Tetsuaki Nakamura, Takeshi Kakimoto, Shinji Kusumoto (Osaka Univ.)
pp. 83 - 87
SS2009-27
Metrics to Validate Software Maintenance Process using Bug Tracking System
Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST)
pp. 89 - 94
SS2009-28
On the Job Learing: A New Software Engineering Education Method on Collaboration between Academia and Industry
Takashi Kobayashi (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Shinichiro Yamamoto (AIchi Pref. Univ), Masami Noro (Nanzan Univ.), Kiyoshi Agusa (Nagoya Univ.)
pp. 95 - 100
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.