|
|
| 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.
http://www.uec.ac.jp/eng/about/access/ |
Contact
Person |
Project Assistant Prof. Takaaki Goto
+81-42-443-5912 |
Copyright
and
reproduction |
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 -- KBSE2013-42 |
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 -- KBSE2013-50 |
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 -- KBSE2013-52 |
Vaise Patu, Nada Olayan, Shuichiro Yamamoto (Nagoya Univ.) |
| |
15:35-15:45 |
Closing Address ( 10 min. ) |
| Announcement for Speakers |
| General Talk | Each 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 Lecture | Each 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- :   u     bau-it |
Last modified: 2013-08-29 14:14:29
|