|
Chair |
|
Takako Nakatani (Univ. of Tsukuba) |
Vice Chair |
|
Saeko Matsuura (Shibaura Inst. of Tech.) |
Secretary |
|
Hirohide Haga (Doshisha Univ.), Keichi Katamine (Kyushu Inst. of Tech.) |
Assistant |
|
Hirohisa Aman (Ehime Univ.), Junko Shirogane (Tokyo Woman's Christian Univ.) |
|
Conference Date |
Thu, Mar 10, 2011 13:30 - 17:55
Fri, Mar 11, 2011 10:00 - 16:35 |
Topics |
|
Conference Place |
Beppu International Convention Center, B-CON PLAZA |
Address |
12-1, Yamanote-Machi, Beppu-shi, Ooita, 874-0828 Japan. |
Transportation Guide |
http://www.b-conplaza.jp/english/index.htm |
Contact Person |
Keiichi Katamine (Kyushu Institute of Technology)
+81-977-26-7111 |
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, Mar 10 PM 13:30 - 17:55 |
|
13:30-13:40 |
Opening Address ( 10 min. ) |
(1) |
13:40-14:20 |
A Supporting Tool for High-Quality Goal Graphs and Its Evaluation KBSE2010-47 |
Takanori Ugai (Fujitsu Labs./Tokyo Inst. of Tech.), Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) |
(2) |
14:20-15:00 |
Generating Test Cases from UML Requirement Specifications Based on Coverage KBSE2010-48 |
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
(3) |
15:00-15:40 |
A Verification System of the Correctness of Requirements Ontology KBSE2010-49 |
Bui Quang Huy, Atsushi Ohnishi (Ritsumeikan Univ.) |
|
15:40-15:55 |
Break ( 15 min. ) |
(4) |
15:55-16:35 |
A Method to Analyze Failure Scenarios of Embedded Systems by Using Unexpected Phenomena KBSE2010-50 |
Toshiro Mise, Yasufumi Shinyashiki (Panasonic Electric Works), Keiichi Katamine, Masaaki Hashimoto (Kyusyu Inst. of Tech), Takako Nakatani (University of Tsukuba), Naoyasu Ubayashi (Kyushu University) |
(5) |
16:35-17:15 |
A calculation method of system similarity for evaluation of practical accomplishments in person-in-charge allocation support. KBSE2010-51 |
Eiichi Kameda, Masamitsu Mochizuki, Yoshimi Teshigawara (Soka Univ.) |
(6) |
17:15-17:55 |
Comprehension of Works on Kafka on the Shore by Fuzzy Cluster Analysis KBSE2010-52 |
Chieko Kato, Yuki Maeshiro (Toyo Univ.), Matthew C. Strecher (Winona St. Univ.), Kensei Tsuchida (Toyo Univ.) |
Fri, Mar 11 AM 10:00 - 12:00 |
(7) |
10:00-10:40 |
Requirements Engineering Education with Model-Driven Requirements Analysis Method employing Automatic Prototype Generation KBSE2010-53 |
Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
(8) |
10:40-11:20 |
A Method for Analyzing Information Integration Architecture KBSE2010-55 |
Shuichiro Yamamoto (Nagoya Univ.) |
(9) |
11:20-12:00 |
A Model Theory of Requirements Engineering KBSE2010-54 |
Mikio Aoyama (Nanzan Univ.), Takako Nakatani (Univ. of Tsukuba), Shinobu Saito (NTT DATA), Mikio Suzuki (TIS Inc.), Hiroaki Nakazaki (Fujitsu FIP), Kazuaki Fujita (Hitachi Solutions), Ritsuo Suzuki (JISA) |
Fri, Mar 11 PM 13:00 - 16:35 |
(10) |
13:00-13:40 |
Consideration on Relationship Name of ER Diagram based on Akira Mikami's Japanese Grammar Theory KBSE2010-56 |
Shigeo Kaneda (Doshisha Univ.) |
(11) |
13:40-14:20 |
A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase KBSE2010-57 |
Akiko Shitomi, Shinobu Saito (NTT DATA Corp.) |
(12) |
14:20-15:00 |
Generation of Consistent GUI by Analyzing Existing Windows KBSE2010-58 |
Seitaro Shirai (Waseda Univ.), Junko Shirogane (TWCU), Hajime Iwata (Kanagawa Inst. of Tech.), Yoshiaki Fukazawa (Waseda Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
(13) |
15:15-15:55 |
Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing KBSE2010-59 |
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
(14) |
15:55-16:35 |
A Method for Detecting Unusual Latent Defects in Enterprise System Using Model Checking Techniques
-- Verification of Database Lock Problem -- KBSE2010-60 |
Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech) |
Announcement for Speakers |
General Talk | Each speech will have 25 minutes for presentation and 15 minutes for discussion. |
Contact Address and Latest Schedule Information |
KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
Contact Address |
Keiichi Katamine (Kyushu Institute of Technology)
E-: cik |
Last modified: 2011-02-19 22:57:20
|