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 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 TalkEach 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--mail: cik 


Last modified: 2011-02-19 22:57:20


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