Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2014-03-06 10:35 |
Okinawa |
Okinawaken-Seinenkaikan |
A Method for Facilitating the Analysis of Counterexamples in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-79 |
[more] |
KBSE2013-79 pp.1-6 |
KBSE |
2014-03-06 11:10 |
Okinawa |
Okinawaken-Seinenkaikan |
A Case Study on Predicting Requirements Changes Takako Nakatani, Yuko Koiso (Univ. of Tsukuba), Keiichi Katamine (Kyushu Inst. of Tech.), Toshihiko Tsumaki (NII) KBSE2013-80 |
Requirements of software are sometimes added and changed through the development phases. In this paper, we explored reas... [more] |
KBSE2013-80 pp.7-12 |
KBSE |
2014-03-06 11:45 |
Okinawa |
Okinawaken-Seinenkaikan |
End-User-Initiative Development for Web Application
-- The Implementation of Business Logic -- Xu Jie, Takeshi Chusho (Meiji Univ.) KBSE2013-81 |
In recent years, many web applications are used in various business fields. These web applications are often developed ... [more] |
KBSE2013-81 pp.13-18 |
KBSE |
2014-03-06 13:05 |
Okinawa |
Okinawaken-Seinenkaikan |
Toward Conducting the Discussion for Understanding and Validity Check of Sftware Requirements
-- A Proposal of a Model to Structuralize and Record the Contents of the Discussion -- Seiichi Komiya (NII) KBSE2013-82 |
(To be available after the conference date) [more] |
KBSE2013-82 pp.19-24 |
KBSE |
2014-03-06 13:40 |
Okinawa |
Okinawaken-Seinenkaikan |
Mining of IR method for Traceability Link Recovery Ryouhei Yuasa, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ) KBSE2013-83 |
[more] |
KBSE2013-83 pp.25-30 |
KBSE |
2014-03-06 14:15 |
Okinawa |
Okinawaken-Seinenkaikan |
Guidelines for Class-Diagram Design based on English Sentence Patterns and Functional Dependency Shigeo Kaneda, Akio Ida, Takamasa Sakai (Doshisha Univ.) KBSE2013-84 |
The authors demonstrated previously that the structure of a class diagram reflects the cognitive structure of English, b... [more] |
KBSE2013-84 pp.31-36 |
KBSE |
2014-03-06 14:50 |
Okinawa |
Okinawaken-Seinenkaikan |
Conceptual class diagram creation support system based on conversion method from a Japanese description to simple sentences Satoshi Kumatani, Takamasa Sakai, Shigeo Kaneda (Doshisha Univ.) KBSE2013-85 |
The authors have proposed a conversion method from Japanese descriptions to a class diagram based on cognitive linguisti... [more] |
KBSE2013-85 pp.37-42 |
KBSE |
2014-03-06 15:35 |
Okinawa |
Okinawaken-Seinenkaikan |
A consideration on method to assure business process with D-Case Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-86 |
Business Process Modeling Notation (BPMN) is proposed as a notation to make it easy to understand and improve business p... [more] |
KBSE2013-86 pp.43-48 |
KBSE |
2014-03-06 16:10 |
Okinawa |
Okinawaken-Seinenkaikan |
A method to assure the sufficiency of testing using D-Case Hideaki Oobayashi, Shuichiro Yamamoto (Nagoya Univ) KBSE2013-87 |
[more] |
KBSE2013-87 pp.49-53 |
KBSE |
2014-03-06 16:45 |
Okinawa |
Okinawaken-Seinenkaikan |
Equivalent Mutants Detection Method Using Symbolic Execution Takaya Ueshiba, Weitao Wang, Hirohide Haga (Doshisha Univ.) KBSE2013-88 |
This paper proposes a method for automatically detecting equivalent mutants using symbolic execution. In mutation analys... [more] |
KBSE2013-88 pp.55-60 |
KBSE |
2014-03-06 17:15 |
Okinawa |
Okinawaken-Seinenkaikan |
The Study of Combinatorial Software Testing Technique to Respond to the Changes of Test-Strategy Masahiro Ooba, Kenta Sasaki, Hisashi Fukutake, Kuniya Sato, Tomohiko Takagi, Rihito Yaegashi (Kagawa Univ.) KBSE2013-89 |
The combinatorial software testing technique defines the factors and levels from the test-viewpoint based on test-strate... [more] |
KBSE2013-89 pp.61-66 |
KBSE |
2014-03-07 09:50 |
Okinawa |
Okinawaken-Seinenkaikan |
Scenario Retrieval Method using Differential Scenarios
-- Development of Visualization tool of Differential Scenario -- Eiji Shiota, Atsushi Ohnishi (Ritsumeikan Univ.) KBSE2013-90 |
In a scenario-based software development, a lot of scenarios should be described in order to clarify the whole behaviors... [more] |
KBSE2013-90 pp.67-72 |
KBSE |
2014-03-07 10:25 |
Okinawa |
Okinawaken-Seinenkaikan |
Road Hazard Sharing System by Using Mobile Ad Hoc Network for Multiple Cyclists Yusuke Tabata, Akira Yamamoto, Yuta Kawachi, Shohei Asada, Shigeo Kaneda (Doshisha Univ.) KBSE2013-91 |
Studies are increasing that analyze ambient environments by sensing bicycle movements using smart phones. We propose a s... [more] |
KBSE2013-91 pp.73-78 |
KBSE |
2014-03-07 11:00 |
Okinawa |
Okinawaken-Seinenkaikan |
Event extraction from video data of football games using qualitatve spatio-temporal representation Masaki Sakaida, Takanori Kiyose, Kazuko Takahashi (Kwansei Gakuin Univ.) KBSE2013-92 |
We describe a method of representing relative positional relationship of regions extracted from a video footage of footb... [more] |
KBSE2013-92 pp.79-84 |
KBSE |
2014-03-07 12:35 |
Okinawa |
Okinawaken-Seinenkaikan |
An Android Application Analysis Method for Highlighting Disclosure of Fine-Grained User Information Takuya Sakashita, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) KBSE2013-93 |
We have proposed a static analysis method of android application to highlight the user information disclosed by the appl... [more] |
KBSE2013-93 pp.85-90 |
KBSE |
2014-03-07 13:10 |
Okinawa |
Okinawaken-Seinenkaikan |
An Implementation Methodology for Business Systems Based on Unidirectional Constraint Propagation
-- A Case Study of Local Tax Processing -- Hiromasa Yano, Hiroki Kuwayama, Shigeo Kaneda (Doshisha Univ.) KBSE2013-94 |
ICT systems for business applications must accept not only basic business work-flows but also modification of the former... [more] |
KBSE2013-94 pp.91-96 |
KBSE |
2014-03-07 13:45 |
Okinawa |
Okinawaken-Seinenkaikan |
A proposal of the D-Case review method by extracting word relationship Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-95 |
(To be available after the conference date) [more] |
KBSE2013-95 pp.97-102 |
KBSE |
2014-03-07 14:20 |
Okinawa |
Okinawaken-Seinenkaikan |
Software-Aided Feature Selection for Open Source Software by Applying Brainstorming Methodology Based on Existing Open Source Software Md. Mahfuzus Salam Khan, Takaaki Goto, Tetsuro Nishino (Univ. of Electro-Comm.) KBSE2013-96 |
Teams with small size lacks of expert knowledge while starting a new open source software (OSS) project where there exis... [more] |
KBSE2013-96 pp.103-108 |
KBSE |
2014-03-07 15:05 |
Okinawa |
Okinawaken-Seinenkaikan |
Applying the Multidimensional Scaling for Assignment Responsibilities to the Objects
-- Approaching from the Artifacts of the Soft Systems Methodology -- Akio Ida, Shigeo Kaneda (Doshisha Univ.) KBSE2013-97 |
The expectations are growing in improving intelligibility and productivity in the field of the latest systems developmen... [more] |
KBSE2013-97 pp.109-114 |
KBSE |
2014-03-07 15:40 |
Okinawa |
Okinawaken-Seinenkaikan |
A proposal for developing architecture model based on requirements model Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-98 |
An architecture model development method is proposed by extending the control flow diagram of Hatley and Pirbhai with a ... [more] |
KBSE2013-98 pp.115-120 |