Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2009-48
A System to Guide Interview-driven Requirements Elicitation Work
Hajime Noguchi, Shimon Yato (Shibaura Inst. of Techn.), Takatosi Yamanaka (Shibaura Inst. of Techn./Fujitsu Ltd,), Seiichi Komiya (Shibaura Inst. of Techn.)
pp. 1 - 6
SS2009-49
A support for Software Development Processes Improvement using the Requirement-Trace-Network and a Project Scheduling Method
Akinori Saito, Koichiro Ochimizu (JAIST)
pp. 7 - 12
SS2009-50
Support Environment for Reality-based Software Development Practice based on Process Monitoring and Comparison among Groups
Takeshi Kakimoto (Osaka Univ.), Hiroshi Igaki (Kobe Univ), Shinji Kawaguchi (NAIST), Naoki Fukuyasu (Wakayama Univ.), Sachio Saiki (Kochi Univ. of Tech.), Yasuhiro Hayase (Osaka Univ.), Naohiro Sakiyama (NTT Data)
pp. 13 - 18
SS2009-51
A Proposal of Service Registry for Discovering Service Resources in Ubiquitous Network
Hideharu Seto, Kouichi Egami, Shuhei Matsuo, Hiroshi Igaki, Masahide Nakamura (Kobe Univ)
pp. 19 - 24
SS2009-52
Developing Home Network Services with Feature Interaction Detection and Resolution System
Takuya Inada, Yuhei Yoshimura, Kousuke Ikegami, Hiroshi Igaki, Masahide Nakamura (Kobe Univ), Kenji Nakakita, Kiyotaka Takehara (Panasonic Electric Works Co., Ltd.)
pp. 25 - 30
SS2009-53
A Supporting Tool for Framework-Based Software Development with Behavioral Models
Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 31 - 36
SS2009-54
Automatic UML Diagram Recommendation Using Editing Context
Makoto Matsushita, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 37 - 42
SS2009-55
Comparison of Fixing Frequency between Duplicate Code and Non-Duplicate Code
Yukiko Sano, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 43 - 48
SS2009-56
Identifying frequent functionalities from large-scale source code
Kensuke Tanaka, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 49 - 54
SS2009-57
On the Analysis of Method Call Changes Related to Bug Fixes
Ryosuke Morii, Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Inst. of Tech.), Tohru Kikuno (Osaka Univ.)
pp. 55 - 60
SS2009-58
Structuring Source Code Deltas by Classifying Editing Operations
Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 61 - 66
SS2009-59
An Analysis of Relation Between Inconsistent Changes of Code Clone and Bug Occurrence
Koji Nishida, Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST)
pp. 67 - 72
SS2009-60
Similarity Analysis of programming codes by Code Clone technique
Akira Sakamoto, Yasunari Kishimoto, Hiroyuki Sato, Toru Kobayashi (NTT)
pp. 73 - 78
SS2009-61
Empirical Analysis of Software Similarity Using Text Mining Technology
Yasunari Kishimoto, Akira Sakamoto, Hiroyuki Sato, Toru Kobayashi (NTT)
pp. 79 - 84
SS2009-62
Reachability Analysis for Probabilistic Timed System based on Timed Abstraction Refinement Technique
Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 85 - 90
SS2009-63
Probabilistic Model Checking for AIS with Symmetry Reduction
Takashi Toyoshima, Kazuko Takahashi (Kwansei Gakuin Univ.), Toshifusa Sekizawa (Osaka Gakuin Univ./AIST CVS)
pp. 91 - 96
SS2009-64
A framework for the verification of behavior in E-AoSAS++
Han-Myung Chang, Atsushi Sawada, Masami Noro (Nanzan Univ.)
pp. 97 - 102
SS2009-65
verification of non-interference between files by typing
Koichi Zarei, Toshiyuki Yamada (Mie Univ.)
pp. 103 - 107
SS2009-66
Research of Immune Algorithm for Multi-Objective Optimization Problems
Ryota Morishige, Satoshi Ono, Shigeru Nakayama (Kagoshima Univ)
pp. 109 - 114
SS2009-67
On a Combination Method of Decision Procedures for Theories Sharing Common Symbols
Koji Iwanuma (Univ. of Yamanashi)
pp. 115 - 120
SS2009-68
Introducing N-Version Programming in the Product Line of the Safety Critical System
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
pp. 121 - 126
SS2009-69
Communication Centered Dependable GUI Programming based on Choreography
Sho Shimomura, Shoji Yuen (Nagoya Univ.)
pp. 127 - 132
SS2009-70
A Type-Based Analysis for Checking Race and Deadlock based on Access Capabilities
Yoshitaka Banno, Shoji Yuen (Nagoya Univ.)
pp. 133 - 138
SS2009-71
A Study on conditions of Applying of AIC to Software Reliability Growth Models
Yasutaka Kamei, Tsuneo Furuyama (Tokai Univ.)
pp. 139 - 144
SS2009-72
Empirical Evaluation of Bug Density Prediction Model to Low Granularity Modules
Yasutaka Kamei, Shinsuke Matsumoto, Akito Monden, Ken-ichi Matsumoto (NAIST)
pp. 145 - 150
SS2009-73
A Testing Method for Object-Oriented Software Using Execution Logs
Junro Mori, Yoshikazu Ueda (Ibaraki Univ.)
pp. 151 - 156
SS2009-74
Light-weight XQuery Processor using Lazy Parsing
Yoshinari Hachisu, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.)
pp. 157 - 162
SS2009-75
Scalable Web Application Framework based on Delimited Continuation
Asami Tanaka, Yukiyoshi Kameyama (Tsukuba Univ)
pp. 163 - 168
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.