IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Saeko Matsuura (Shibaura Inst. of Tech.)
Vice Chair Tadashi Iijima (Keio Univ.)
Secretary Fumihiro Kumeno (Nippon Inst. of Tech.), Hironori Takeuchi (IBM)
Assistant Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys)

Conference Date Thu, Sep 12, 2013 10:00 - 18:15
Fri, Sep 13, 2013 10:30 - 15:45
Topics Genaral session 
Conference Place 301, Building E-3, The University of Electro-Communications 
Address 1-5-1 Chofugaoka, Chofu-shi, Tokyo Japan.
Transportation Guide 5 min. walk from north exit of Chofu station.
Project Assistant Prof. Takaaki Goto
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

Thu, Sep 12 AM 
10:00 - 11:45
  10:00-10:05 Opening Address ( 5 min. )
(1) 10:05-10:35 A New Technique to Improve Code Readability by Omitting Similar Source Code Patterns KBSE2013-36 Hiroshi Kikuchi, Tetsuro Nishino, Takaaki Goto, Mitsuo Wakatsuki (UEC)
(2) 10:35-11:10 Visualizing and measuring transition processes of cohesion based on co-occurrence of identifiers KBSE2013-37 Hiromasa Iwayama, Jun-ichi Inoue (Hokkaido Univ.)
(3) 11:10-11:45 Presentation Logic of correction of weak part of student by Text Frame Kazuhiro Uenosono (Aoyama Gakuin Univ.), Seiichi Komiya (NII)
  11:45-12:45 Lunch Break ( 60 min. )
Thu, Sep 12 PM 
12:45 - 14:25
(4) 12:45-13:15 Server-Side Implementation of UML/OCL Assertion KBSE2013-38 Sei Tanaka, Hiromi Kobayashi (Tokai Univ.)
(5) 13:15-13:50 A Study of the Application of Model Checking to Embedded Software Based on Interrupt Processing KBSE2013-39 Takanori Sasaki (UEC), Nobukazu Yoshioka (NII), Yasuyuki Tahara, Akihiko Ohsuga (UEC)
(6) 13:50-14:25 The architecture of business process engine in the Object-oriented Petri Net adoptioning event driveness KBSE2013-40 Ryouta Kaneko, Ryohei Hata, Tadashi Iijima (Keio Univ.)
  14:25-14:35 Break ( 10 min. )
Thu, Sep 12 PM 
14:35 - 16:20
(7) 14:35-15:10 Analysis method for the goals of dependability cases using goal syntax table KBSE2013-41 Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.)
(8) 15:10-15:45 A study on consensus and decision-making in Goal-Oriented Requirements Analysis
-- Interdisciplinary approach --
Michitaro Okano, Takako Nakatani (Univ. of Tsukuba)
(9) 15:45-16:20 Consideration about application of the University portal service to Non-Functional Requirements Grades KBSE2013-43 Miki Masumoto, Shuichiro Yamamoto (Nagoya Univ)
  16:20-16:30 Break ( 10 min. )
Thu, Sep 12 PM 
16:30 - 18:15
(10) 16:30-17:05 Consistency check of D-case (dependability case) produced from DFD (data flow diagram) KBSE2013-44 Nada Olayan, Shuichiro Yamamoto, vaise Patu, Yutaka Matsuno (Nagoya Univ.)
(11) 17:05-17:40 A method to verify the applicability of the D-case based on Sequence diagram KBSE2013-45 Ding Feng, Shuichiro Yamamoto (Nagoya Univ.)
(12) 17:40-18:15 Considerations on the relationship between SEMAT and Assurance Case KBSE2013-46 Shuichiro Yamamoto (Nagoya Univ.)
Fri, Sep 13 AM 
10:30 - 12:15
(13) 10:30-11:05 Acquisition and Application of Stress Level Informaion for Design and Evaluation of User Interaction KBSE2013-47 Ayumi Ishii, Tadashi Iijima (Keio Univ.)
(14) 11:05-11:40 Acquisition and Description Tools for Communication Support Software KBSE2013-48 Hiroki Unozawa, Tadashi Iijima (Keio Univ.)
(15) 11:40-12:15 Knowledge Reconstruction of Geo-Spatial Information for Multi-Agent Simulation KBSE2013-49 Junki Yamazaki, Tadashi Iijima (Keio Univ.)
  12:15-13:15 Lunch Break ( 60 min. )
Fri, Sep 13 PM 
13:15 - 14:15
(16) 13:15-14:15 [Tutorial Invited Lecture]
Current research and future directions of requirements engineering
-- Towards software evolution and self-adaptation --
Hiroyuki Nakagawa (UEC)
  14:15-14:25 Break ( 10 min. )
Fri, Sep 13 PM 
14:25 - 15:45
(17) 14:25-15:00 A Comparative Evaluation on Assurance Case Discriptions for Operation Manuals KBSE2013-51 Shota Takama, Shuichiro Yamamoto (Nagoya Univ.)
(18) 15:00-15:35 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.)
  15:35-15:45 Closing Address ( 10 min. )

Announcement for Speakers
General TalkEach speech will have 25 minutes for presentation and 10 minutes for discussion.
General Talk (ショート)Each speech will have 20 minutes for presentation and 10 minutes for discussion.
Tutorial Invited LectureEach speech will have 60 minutes for presentation.

Contact Address and Latest Schedule Information
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Saeko Matsuura(Shibaura Inst. of Tech.)
E--mail: ubau-it 

Last modified: 2013-08-29 14:14:29

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]

[Presentation and Participation FAQ] (in Japanese)

[Return to KBSE Schedule Page]   /  
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

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