Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2013-09-12 10:05 |
Tokyo |
The University of Electro-Communications |
A New Technique to Improve Code Readability by Omitting Similar Source Code Patterns Hiroshi Kikuchi, Tetsuro Nishino, Takaaki Goto, Mitsuo Wakatsuki (UEC) KBSE2013-36 |
To understand existing software, we need to read the source code of the software. However, source code reading is time c... [more] |
KBSE2013-36 pp.1-6 |
KBSE |
2013-09-12 10:35 |
Tokyo |
The University of Electro-Communications |
Visualizing and measuring transition processes of cohesion based on co-occurrence of identifiers Hiromasa Iwayama, Jun-ichi Inoue (Hokkaido Univ.) KBSE2013-37 |
Cohesion is one of the evaluation criteria for the maintenance of software. Software developers often use appropriate ‘c... [more] |
KBSE2013-37 pp.7-12 |
KBSE |
2013-09-12 11:10 |
Tokyo |
The University of Electro-Communications |
Presentation Logic of correction of weak part of student by Text Frame Kazuhiro Uenosono (Aoyama Gakuin Univ.), Seiichi Komiya (NII) |
[more] |
|
KBSE |
2013-09-12 12:45 |
Tokyo |
The University of Electro-Communications |
Server-Side Implementation of UML/OCL Assertion Sei Tanaka, Hiromi Kobayashi (Tokai Univ.) KBSE2013-38 |
Nowadays, the description of assertion is focused of attention from the viewpoint of safety behavior in a software devel... [more] |
KBSE2013-38 pp.13-18 |
KBSE |
2013-09-12 13:15 |
Tokyo |
The University of Electro-Communications |
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) KBSE2013-39 |
Detecting errors from incorrect interrupt processing when testing embedded systems is difficult because same scenario ca... [more] |
KBSE2013-39 pp.19-24 |
KBSE |
2013-09-12 13:50 |
Tokyo |
The University of Electro-Communications |
The architecture of business process engine in the Object-oriented Petri Net adoptioning event driveness Ryouta Kaneko, Ryohei Hata, Tadashi Iijima (Keio Univ.) KBSE2013-40 |
[more] |
KBSE2013-40 pp.25-30 |
KBSE |
2013-09-12 14:35 |
Tokyo |
The University of Electro-Communications |
Analysis method for the goals of dependability cases using goal syntax table Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-41 |
[more] |
KBSE2013-41 pp.31-35 |
KBSE |
2013-09-12 15:10 |
Tokyo |
The University of Electro-Communications |
A study on consensus and decision-making in Goal-Oriented Requirements Analysis
-- Interdisciplinary approach -- Michitaro Okano, Takako Nakatani (Univ. of Tsukuba) KBSE2013-42 |
When we apply goal-oriented analysis, we can introduce two contribution structures between a super goal and its sub goal... [more] |
KBSE2013-42 pp.37-42 |
KBSE |
2013-09-12 15:45 |
Tokyo |
The University of Electro-Communications |
Consideration about application of the University portal service to Non-Functional Requirements Grades Miki Masumoto, Shuichiro Yamamoto (Nagoya Univ) KBSE2013-43 |
[more] |
KBSE2013-43 pp.43-46 |
KBSE |
2013-09-12 16:30 |
Tokyo |
The University of Electro-Communications |
Consistency check of D-case (dependability case) produced from DFD (data flow diagram) Nada Olayan, Shuichiro Yamamoto, vaise Patu, Yutaka Matsuno (Nagoya Univ.) KBSE2013-44 |
After producing the D-case based on DFD, a question about the consistency of the produced D-case is raised. In this pape... [more] |
KBSE2013-44 pp.47-52 |
KBSE |
2013-09-12 17:05 |
Tokyo |
The University of Electro-Communications |
A method to verify the applicability of the D-case based on Sequence diagram Ding Feng, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-45 |
[more] |
KBSE2013-45 pp.53-58 |
KBSE |
2013-09-12 17:40 |
Tokyo |
The University of Electro-Communications |
Considerations on the relationship between SEMAT and Assurance Case Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-46 |
[more] |
KBSE2013-46 pp.59-64 |
KBSE |
2013-09-13 10:30 |
Tokyo |
The University of Electro-Communications |
Acquisition and Application of Stress Level Informaion for Design and Evaluation of User Interaction Ayumi Ishii, Tadashi Iijima (Keio Univ.) KBSE2013-47 |
[more] |
KBSE2013-47 pp.65-70 |
KBSE |
2013-09-13 11:05 |
Tokyo |
The University of Electro-Communications |
Acquisition and Description Tools for Communication Support Software Hiroki Unozawa, Tadashi Iijima (Keio Univ.) KBSE2013-48 |
[more] |
KBSE2013-48 pp.71-76 |
KBSE |
2013-09-13 11:40 |
Tokyo |
The University of Electro-Communications |
Knowledge Reconstruction of Geo-Spatial Information for Multi-Agent Simulation Junki Yamazaki, Tadashi Iijima (Keio Univ.) KBSE2013-49 |
[more] |
KBSE2013-49 pp.77-82 |
KBSE |
2013-09-13 13:15 |
Tokyo |
The University of Electro-Communications |
[Tutorial Invited Lecture]
Current research and future directions of requirements engineering
-- Towards software evolution and self-adaptation -- Hiroyuki Nakagawa (UEC) KBSE2013-50 |
This lecture will argue the current research and future directions of requirements engineering, based on the participati... [more] |
KBSE2013-50 p.83 |
KBSE |
2013-09-13 14:25 |
Tokyo |
The University of Electro-Communications |
A Comparative Evaluation on Assurance Case Discriptions for Operation Manuals Shota Takama, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-51 |
[more] |
KBSE2013-51 pp.85-90 |
KBSE |
2013-09-13 15:00 |
Tokyo |
The University of Electro-Communications |
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.) KBSE2013-52 |
Today's software systems are facing new and complicated challenges in confronting with security issues. There are lots o... [more] |
KBSE2013-52 pp.91-96 |