| 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) 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.) DATE: Thu, Mar 10, 2011 13:30 - 17:55 Fri, Mar 11, 2011 10:00 - 16:35 PLACE: Beppu International Convention Center, B-CON PLAZA(12-1, Yamanote-Machi, Beppu-shi, Ooita, 874-0828 Japan.http://www.b-conplaza.jp/english/index.htm. Keiichi Katamine (Kyushu Institute of Technology). +81-977-26-7111) TOPICS: ---------------------------------------- Thu, Mar 10 PM (13:30 - 17:55) ---------------------------------------- ----- Opening Address ( 10 min. ) ----- (1) 13:40 - 14:20 A Supporting Tool for High-Quality Goal Graphs and Its Evaluation 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 Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) (3) 15:00 - 15:40 A Verification System of the Correctness of Requirements Ontology Bui Quang Huy, Atsushi Ohnishi (Ritsumeikan Univ.) ----- Break ( 15 min. ) ----- (4) 15:55 - 16:35 A Method to Analyze Failure Scenarios of Embedded Systems by Using Unexpected Phenomena 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. 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 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 Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) (8) 10:40 - 11:20 A Method for Analyzing Information Integration Architecture Shuichiro Yamamoto (Nagoya Univ.) (9) 11:20 - 12:00 A Model Theory of Requirements Engineering 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 Shigeo Kaneda (Doshisha Univ.) (11) 13:40 - 14:20 A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase Akiko Shitomi, Shinobu Saito (NTT DATA Corp.) (12) 14:20 - 15:00 Generation of Consistent GUI by Analyzing Existing Windows Seitaro Shirai (Waseda Univ.), Junko Shirogane (TWCU), Hajime Iwata (Kanagawa Inst. of Tech.), Yoshiaki Fukazawa (Waseda Univ.) ----- Break ( 15 min. ) ----- (13) 15:15 - 15:55 Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing 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 -- Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech) # Information for speakers General Talk will have 25 minutes for presentation and 15 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Thu, May 26, 2011 - Fri, May 27, 2011: Kagawa University [Fri, Mar 18], Topics: Student, etc. # SECRETARY: Keiichi Katamine (Kyushu Institute of Technology) E-mail:      ci k   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]