IEICE Technical Report

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

Knowledge-Based Software Engineering

Workshop Date : 2015-01-26 - 2015-01-27 / Issue Date : 2015-01-19

KBSE2014-39
An Empirical Study on Requirements Elicitation from Feedback comments using LDA
Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 1 - 6

KBSE2014-40
A report of practical system assurance exercise
Toshinori Takai (NAIST), Yutaka Matsuno (UEC)
pp. 7 - 11

KBSE2014-41
[Invited Talk] *
Kouichi Akiyama (Fuji Xerox)
pp. 13 - 17

KBSE2014-42
An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model -- A Case of an ASP.NET Application --
Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (SIT), Satoshi Yazawa (VR), Saeko Matsuura (SIT)
pp. 19 - 24

KBSE2014-43
The Method to Create Test Suits based on Operational Profiles for Combination Test of Status
Hisashi Fukutake, Liang Da Xu, Tomohiko Takagi, Rihito Yaegashi (Kagawa Univ)
pp. 25 - 30

KBSE2014-44
A proposal of D-Case based development process in a software development company
Nobuhide Kobayashi, Hiroyuki Utsunomiya, Yoshikazu Yamamoto (DENSO CREATE), Shuichiro Yamamoto (Nagoya Univ.)
pp. 31 - 36

KBSE2014-45
A Comparison of Systemigram and Domain Class Diagram
Shuichiro Yamamoto (Nagoya Univ.)
pp. 37 - 42

KBSE2014-46
Access Control with Filtering Information and Operating Sensor Devices based on a Context-Aware Security Model
Satoshi Kido, Taisei Watanabe, Tadashi Iijima (Keio Univ.)
pp. 43 - 48

KBSE2014-47
Case base of secure web application development using software security knowledge base
Atsuo Hazeyama, Masahito Saito (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII), Azusa Kumagaya (Tokyo Gakugei Univ.), Takanori Kobashi, Hironori Washizaki (Waseda Univ.), Haruhiko Kaiya (Kanagawa Univ.), Takao Okubo (IISEC)
pp. 49 - 54

KBSE2014-48
Development of an Android application for venous analysis based on the EM algorithm
Masashi Iwase, Minoru Fukumi, Koji Kashihara (The Univ. of Tokushima)
pp. 55 - 60

KBSE2014-49
A Set of Domain Specific Languages for Describing Models of Wide-Area Disaster Evacuation Simulation
Junki Yamazaki, Tadashi Iijima (Keio Univ.)
pp. 61 - 66

KBSE2014-50
Verification of Temporal Constraints for Business Processes and Rules
Ryohei Hata, Tatsuya Ogata, Tadashi Iijima (Keio Univ.)
pp. 67 - 72

KBSE2014-51
Domain-Oriented Visual Modeling and Vocabulary for Computer-Readable Contract Agreements and Laws
Tadashi Iijima (Keio Univ.)
pp. 73 - 78

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