IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Knowledge-Based Software Engineering

Workshop Date : 2014-03-06 - 2014-03-07 / Issue Date : 2014-02-27

KBSE2013-79
A Method for Facilitating the Analysis of Counterexamples in Model Checking
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 1 - 6

KBSE2013-80
A Case Study on Predicting Requirements Changes
Takako Nakatani, Yuko Koiso (Univ. of Tsukuba), Keiichi Katamine (Kyushu Inst. of Tech.), Toshihiko Tsumaki (NII)
pp. 7 - 12

KBSE2013-81
End-User-Initiative Development for Web Application -- The Implementation of Business Logic --
Xu Jie, Takeshi Chusho (Meiji Univ.)
pp. 13 - 18

KBSE2013-82
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)
pp. 19 - 24

KBSE2013-83
Mining of IR method for Traceability Link Recovery
Ryouhei Yuasa, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ)
pp. 25 - 30

KBSE2013-84
Guidelines for Class-Diagram Design based on English Sentence Patterns and Functional Dependency
Shigeo Kaneda, Akio Ida, Takamasa Sakai (Doshisha Univ.)
pp. 31 - 36

KBSE2013-85
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.)
pp. 37 - 42

KBSE2013-86
A consideration on method to assure business process with D-Case
Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.)
pp. 43 - 48

KBSE2013-87
A method to assure the sufficiency of testing using D-Case
Hideaki Oobayashi, Shuichiro Yamamoto (Nagoya Univ)
pp. 49 - 53

KBSE2013-88
Equivalent Mutants Detection Method Using Symbolic Execution
Takaya Ueshiba, Weitao Wang, Hirohide Haga (Doshisha Univ.)
pp. 55 - 60

KBSE2013-89
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.)
pp. 61 - 66

KBSE2013-90
Scenario Retrieval Method using Differential Scenarios -- Development of Visualization tool of Differential Scenario --
Eiji Shiota, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 67 - 72

KBSE2013-91
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.)
pp. 73 - 78

KBSE2013-92
Event extraction from video data of football games using qualitatve spatio-temporal representation
Masaki Sakaida, Takanori Kiyose, Kazuko Takahashi (Kwansei Gakuin Univ.)
pp. 79 - 84

KBSE2013-93
An Android Application Analysis Method for Highlighting Disclosure of Fine-Grained User Information
Takuya Sakashita, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.)
pp. 85 - 90

KBSE2013-94
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.)
pp. 91 - 96

KBSE2013-95
A proposal of the D-Case review method by extracting word relationship
Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.)
pp. 97 - 102

KBSE2013-96
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.)
pp. 103 - 108

KBSE2013-97
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.)
pp. 109 - 114

KBSE2013-98
A proposal for developing architecture model based on requirements model
Shuichiro Yamamoto (Nagoya Univ.)
pp. 115 - 120

KBSE2013-99
Search method for supporting creation of trace links between documents
Makoto Kakuta, Gengo Suzuki (NTT), Syuuhei Watanabe (NTT Comware), Toshifumi Enomoto, Nobuyuki Kobayashi (NTT)
pp. 121 - 126

KBSE2013-100
Extension of Business Process Representation by Introduction of Timed-Arc into Object-oriented Petri Net
Tadashi Iijima (Keio Univ.)
pp. 127 - 130

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan