IEICE Technical Report

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

Knowledge-Based Software Engineering

Workshop Date : 2015-03-05 - 2015-03-06 / Issue Date : 2015-02-26

KBSE2014-52
Practice and Evaluation of EPISODE on developing ICT based course material for children with a developmental disability
Takahiro Kaneyama, Takaaki Goto, Tetsuro Nishino (UEC)
pp. 1 - 6

KBSE2014-53
Domain specific android application supporting tool
Hiroki Iiyama, Takeshi Chusho (Meiji Univ.)
pp. 7 - 12

KBSE2014-54
Fine-Grained Analysis of the Class Diagram Creation Process
Takafumi Tanaka (TGU), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Seiichi Komiya (NII)
pp. 13 - 18

KBSE2014-55
Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating
Shoichi Miyagi, Shohei Maruyama, Yoshikazu Ueda (Ibaraki Univ.)
pp. 19 - 24

KBSE2014-56
Investigation of model checking by modular approach, and practicality of modular verification
Takumi Miyajima (Ibaraki Univ.), Kei Kogai (INCT), Yoshikazu Ueda (Ibaraki Univ.), Tomoyuki Yamagata, Takayuki Takezawa (Hitachi)
pp. 25 - 30

KBSE2014-57
A Case-based Management System for Secure Software Development Using Software Security Knowledge
Masahito Saito, Atsuo Hazeyama (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII), Takanori Kobashi, Hironori Washizaki (Waseda Univ.), Haruhiko Kaiya (Kanagawa Univ.), Takao Okubo (IISEC)
pp. 31 - 36

KBSE2014-58
A study of reading comprehension improvement technique of safety case with modules
Junpei Kondo, Shuji Morisaki, Shuichiro Yamamoto (Nagoya Univ.)
pp. 37 - 42

KBSE2014-59
A Proposal on Evaluating Architecture using Assurance cases with Attributes
Shuichiro Yamamoto (Nagoya Univ.)
pp. 43 - 48

KBSE2014-60
Gesture Recognition for Cooking Assistant System
Yuma Hijioka, Makoto Murakami, Tadahiko Kimoto (Toyo Univ.)
pp. 49 - 53

KBSE2014-61
A Proposal of Construction Method of Defeasible GSN Based on Persona -- An Example of a Risk Case of introducing System Assurance --
Hiroki Izumikawa, Toshinori Takai (NAIST)
pp. 55 - 58

KBSE2014-62
A modular construction of arguments for assurance cases
Toshinori Takai (NAIST), Hiroyuki Kido (utokyo), Yutaka Matsuno (uec)
pp. 59 - 64

KBSE2014-63
Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems
Kento Osaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 65 - 70

KBSE2014-64
Verifying Source Code with a Use Case Model using Model Checking -- A Case of an ASP.NET Application --
Yoshitaka Aoki, Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa (VR), Saeko Matsuura (SIT)
pp. 71 - 76

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