IEICE Technical Report

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

Knowledge-Based Software Engineering

Workshop Date : 2013-09-12 - 2013-09-13 / Issue Date : 2013-09-05

KBSE2013-36
A New Technique to Improve Code Readability by Omitting Similar Source Code Patterns
Hiroshi Kikuchi, Tetsuro Nishino, Takaaki Goto, Mitsuo Wakatsuki (UEC)
pp. 1 - 6

KBSE2013-37
Visualizing and measuring transition processes of cohesion based on co-occurrence of identifiers
Hiromasa Iwayama, Jun-ichi Inoue (Hokkaido Univ.)
pp. 7 - 12

KBSE2013-38
Server-Side Implementation of UML/OCL Assertion
Sei Tanaka, Hiromi Kobayashi (Tokai Univ.)
pp. 13 - 18

KBSE2013-39
A Study of the Application of Model Checking to Embedded Software Based on Interrupt Processing
Takanori Sasaki (UEC), Nobukazu Yoshioka (NII), Yasuyuki Tahara, Akihiko Ohsuga (UEC)
pp. 19 - 24

KBSE2013-40
The architecture of business process engine in the Object-oriented Petri Net adoptioning event driveness
Ryouta Kaneko, Ryohei Hata, Tadashi Iijima (Keio Univ.)
pp. 25 - 30

KBSE2013-41
Analysis method for the goals of dependability cases using goal syntax table
Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.)
pp. 31 - 35

KBSE2013-42
A study on consensus and decision-making in Goal-Oriented Requirements Analysis -- Interdisciplinary approach --
Michitaro Okano, Takako Nakatani (Univ. of Tsukuba)
pp. 37 - 42

KBSE2013-43
Consideration about application of the University portal service to Non-Functional Requirements Grades
Miki Masumoto, Shuichiro Yamamoto (Nagoya Univ)
pp. 43 - 46

KBSE2013-44
Consistency check of D-case (dependability case) produced from DFD (data flow diagram)
Nada Olayan, Shuichiro Yamamoto, vaise Patu, Yutaka Matsuno (Nagoya Univ.)
pp. 47 - 52

KBSE2013-45
A method to verify the applicability of the D-case based on Sequence diagram
Ding Feng, Shuichiro Yamamoto (Nagoya Univ.)
pp. 53 - 58

KBSE2013-46
Considerations on the relationship between SEMAT and Assurance Case
Shuichiro Yamamoto (Nagoya Univ.)
pp. 59 - 64

KBSE2013-47
Acquisition and Application of Stress Level Informaion for Design and Evaluation of User Interaction
Ayumi Ishii, Tadashi Iijima (Keio Univ.)
pp. 65 - 70

KBSE2013-48
Acquisition and Description Tools for Communication Support Software
Hiroki Unozawa, Tadashi Iijima (Keio Univ.)
pp. 71 - 76

KBSE2013-49
Knowledge Reconstruction of Geo-Spatial Information for Multi-Agent Simulation
Junki Yamazaki, Tadashi Iijima (Keio Univ.)
pp. 77 - 82

KBSE2013-50
[Tutorial Invited Lecture] Current research and future directions of requirements engineering -- Towards software evolution and self-adaptation --
Hiroyuki Nakagawa (UEC)
p. 83

KBSE2013-51
A Comparative Evaluation on Assurance Case Discriptions for Operation Manuals
Shota Takama, Shuichiro Yamamoto (Nagoya Univ.)
pp. 85 - 90

KBSE2013-52
A classification method in identifying security patterns for a dependable Security Case -- From Security Patterns to D-Case --
Vaise Patu, Nada Olayan, Shuichiro Yamamoto (Nagoya Univ.)
pp. 91 - 96

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