Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2010-03-08 09:00 |
Kagoshima |
Kagoshima Univ. |
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.) SS2009-48 |
System development for software is in accordance with requirements specification. Omissions or errors in requirements s... [more] |
SS2009-48 pp.1-6 |
SS |
2010-03-08 09:30 |
Kagoshima |
Kagoshima Univ. |
A support for Software Development Processes Improvement using the Requirement-Trace-Network and a Project Scheduling Method Akinori Saito, Koichiro Ochimizu (JAIST) SS2009-49 |
This paper proposes the Requirement-Trace-Network that is a theoretical model that supports the scheduling and the progr... [more] |
SS2009-49 pp.7-12 |
SS |
2010-03-08 10:00 |
Kagoshima |
Kagoshima Univ. |
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) SS2009-50 |
In this paper, we propose a practice supporting environment which monitors products and process of project in software d... [more] |
SS2009-50 pp.13-18 |
SS |
2010-03-08 10:40 |
Kagoshima |
Kagoshima Univ. |
A Proposal of Service Registry for Discovering Service Resources in Ubiquitous Network Hideharu Seto, Kouichi Egami, Shuhei Matsuo, Hiroshi Igaki, Masahide Nakamura (Kobe Univ) SS2009-51 |
In the future ubiquitous network, it is expected to realize
an adaptive service platform, which dynamically integrates... [more] |
SS2009-51 pp.19-24 |
SS |
2010-03-08 11:10 |
Kagoshima |
Kagoshima Univ. |
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.) SS2009-52 |
As one of the major Home Network System, the integrated service of networked home appliances are proposed.
When such in... [more] |
SS2009-52 pp.25-30 |
SS |
2010-03-08 11:40 |
Kagoshima |
Kagoshima Univ. |
A Supporting Tool for Framework-Based Software Development with Behavioral Models Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) SS2009-53 |
This paper proposes a tool which generates a skeleton code and configuration files to support framework-based software d... [more] |
SS2009-53 pp.31-36 |
SS |
2010-03-08 13:10 |
Kagoshima |
Kagoshima Univ. |
Automatic UML Diagram Recommendation Using Editing Context Makoto Matsushita, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2009-54 |
In software development, reuse improves software quality and productivity.
And an object of reuse is software design an... [more] |
SS2009-54 pp.37-42 |
SS |
2010-03-08 13:40 |
Kagoshima |
Kagoshima Univ. |
Comparison of Fixing Frequency between Duplicate Code and Non-Duplicate Code Yukiko Sano, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2009-55 |
In general, it is said that duplicate code is modified more frequently than non-duplicate code. However, there are few q... [more] |
SS2009-55 pp.43-48 |
SS |
2010-03-08 14:10 |
Kagoshima |
Kagoshima Univ. |
Identifying frequent functionalities from large-scale source code Kensuke Tanaka, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2009-56 |
In recent years software development scale is steadily increasing.
To reduce development costs, it is desirable to effe... [more] |
SS2009-56 pp.49-54 |
SS |
2010-03-08 14:50 |
Kagoshima |
Kagoshima Univ. |
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.) SS2009-57 |
During software development, APIs are used to reuse existing software. However, it is said APIs are difficult to use pro... [more] |
SS2009-57 pp.55-60 |
SS |
2010-03-08 15:20 |
Kagoshima |
Kagoshima Univ. |
Structuring Source Code Deltas by Classifying Editing Operations Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) SS2009-58 |
This paper proposes a technique for structuring source code deltas on a developer's intentions. In this technique, the d... [more] |
SS2009-58 pp.61-66 |
SS |
2010-03-08 15:50 |
Kagoshima |
Kagoshima Univ. |
An Analysis of Relation Between Inconsistent Changes of Code Clone and Bug Occurrence Koji Nishida, Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST) SS2009-59 |
Duplicated code in the source code is called a code clone. In this paper, for revealing relation between inconsistent ch... [more] |
SS2009-59 pp.67-72 |
SS |
2010-03-08 16:30 |
Kagoshima |
Kagoshima Univ. |
Similarity Analysis of programming codes by Code Clone technique Akira Sakamoto, Yasunari Kishimoto, Hiroyuki Sato, Toru Kobayashi (NTT) SS2009-60 |
Our research goal is configuring a comprehensively and organically combined repository of software assets. In this study... [more] |
SS2009-60 pp.73-78 |
SS |
2010-03-08 17:00 |
Kagoshima |
Kagoshima Univ. |
Empirical Analysis of Software Similarity Using Text Mining Technology Yasunari Kishimoto, Akira Sakamoto, Hiroyuki Sato, Toru Kobayashi (NTT) SS2009-61 |
If enterprises want to migrate their existing systems to cloud computing environment efficiently, it is considered impor... [more] |
SS2009-61 pp.79-84 |
SS |
2010-03-08 09:00 |
Kagoshima |
Kagoshima Univ. |
Reachability Analysis for Probabilistic Timed System based on Timed Abstraction Refinement Technique Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2009-62 |
This paper gives a reachability analysis technique for Probabilistic Timed Automaton (PTA), based on CEGAR loop. The pro... [more] |
SS2009-62 pp.85-90 |
SS |
2010-03-08 09:30 |
Kagoshima |
Kagoshima Univ. |
Probabilistic Model Checking for AIS with Symmetry Reduction Takashi Toyoshima, Kazuko Takahashi (Kwansei Gakuin Univ.), Toshifusa Sekizawa (Osaka Gakuin Univ./AIST CVS) SS2009-63 |
We show the analysis and verification for the reservation system used in an Automatic Identification System (AIS) with a... [more] |
SS2009-63 pp.91-96 |
SS |
2010-03-08 10:00 |
Kagoshima |
Kagoshima Univ. |
A framework for the verification of behavior in E-AoSAS++ Han-Myung Chang, Atsushi Sawada, Masami Noro (Nanzan Univ.) SS2009-64 |
One of the most important issues in software design based on aspect oriented software architecture is the verification o... [more] |
SS2009-64 pp.97-102 |
SS |
2010-03-08 10:40 |
Kagoshima |
Kagoshima Univ. |
verification of non-interference between files by typing Koichi Zarei, Toshiyuki Yamada (Mie Univ.) SS2009-65 |
It is important to ensure the computer from information leakage.To
ensure the computer we use information flow analysi... [more] |
SS2009-65 pp.103-107 |
SS |
2010-03-08 11:10 |
Kagoshima |
Kagoshima Univ. |
Research of Immune Algorithm for Multi-Objective Optimization Problems Ryota Morishige, Satoshi Ono, Shigeru Nakayama (Kagoshima Univ) SS2009-66 |
Over the past few years a considerable number of studies have been
made on multi-objective optimization in which more t... [more] |
SS2009-66 pp.109-114 |
SS |
2010-03-08 11:40 |
Kagoshima |
Kagoshima Univ. |
On a Combination Method of Decision Procedures for Theories Sharing Common Symbols Koji Iwanuma (Univ. of Yamanashi) SS2009-67 |
The Nelson-Oppen method is a well-known general framework for combining decision procedures into a single decision proce... [more] |
SS2009-67 pp.115-120 |