IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 468

Knowledge-Based Software Engineering

Workshop Date : 2011-03-10 - 2011-03-11 / Issue Date : 2011-03-03

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

KBSE2010-47
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.)
pp. 1 - 6

KBSE2010-48
Generating Test Cases from UML Requirement Specifications Based on Coverage
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 7 - 12

KBSE2010-49
A Verification System of the Correctness of Requirements Ontology
Bui Quang Huy, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 13 - 18

KBSE2010-50
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)
pp. 19 - 24

KBSE2010-51
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.)
pp. 25 - 30

KBSE2010-52
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.)
pp. 31 - 36

KBSE2010-53
Requirements Engineering Education with Model-Driven Requirements Analysis Method employing Automatic Prototype Generation
Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 37 - 42

KBSE2010-54
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)
pp. 43 - 48

KBSE2010-55
A Method for Analyzing Information Integration Architecture
Shuichiro Yamamoto (Nagoya Univ.)
pp. 49 - 54

KBSE2010-56
Consideration on Relationship Name of ER Diagram based on Akira Mikami's Japanese Grammar Theory
Shigeo Kaneda (Doshisha Univ.)
pp. 55 - 60

KBSE2010-57
A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase
Akiko Shitomi, Shinobu Saito (NTT DATA Corp.)
pp. 61 - 66

KBSE2010-58
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.)
pp. 67 - 72

KBSE2010-59
Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 73 - 78

KBSE2010-60
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)
pp. 79 - 84

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


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