Information and Systems-Knowledge-Based Software Engineering(Date:2011/03/03)

Presentation
表紙

,  

[Date]2011/3/3
[Paper #]
目次

,  

[Date]2011/3/3
[Paper #]
A Supporting Tool for High-Quality Goal Graphs and Its Evaluation

Takanori UGAI,  Shinpei HAYASHI,  Motoshi SAEKI,  

[Date]2011/3/3
[Paper #]KBSE2010-47
Generating Test Cases from UML Requirement Specifications Based on Coverage

Ryo Shikimi,  Shinpei Ogata,  Saeko Matsuura,  

[Date]2011/3/3
[Paper #]KBSE2010-48
A Verification System of the Correctness of Requirements Ontology

Bui Quang HUY,  Atsushi OHNISHI,  

[Date]2011/3/3
[Paper #]KBSE2010-49
A Method to Analyze Failure Scenarios of Embedded Systems by Using Unexpected Phenomena

Toshiro MISE,  Yasufumi SHINYASHIKI,  Keiichi KATAMINE,  Masaaki HASHIMOTO,  Takako NAKATANI,  Naoyasu UBAYASHI,  

[Date]2011/3/3
[Paper #]KBSE2010-50
A calculation method of system similarity for evaluation of practical accomplishments in person-in-charge allocation support

Eiichi KAMEDA,  Masamitsu MOCHIZUKI,  Yoshimi TESHIGAWARA,  

[Date]2011/3/3
[Paper #]KBSE2010-51
Comprehension of Works on Kafka on the Shore by Fuzzy Cluster Analysis

Chieko KATO,  Yuki MAESHIRO,  Matthew C. STRECHER,  Kensei TSUCHIDA,  

[Date]2011/3/3
[Paper #]KBSE2010-52
Requirements Engineering Education with Model-Driven Requirements Analysis Method employing Automatic Prototype Generation

Shinpei OGATA,  Saeko MATSUURA,  

[Date]2011/3/3
[Paper #]KBSE2010-53
A Model Theory of Requirements Engineering

Mikio AOYAMA,  Takako NAKATANI,  Shinobu SAITO,  Mikio SUZUKI,  Hiroaki NAKAZAKI,  Kazuaki FUJITA,  Ritsuo SUZUKI,  

[Date]2011/3/3
[Paper #]KBSE2010-54
A Method for Analyzing Information Integration Architecture

Shuichiro Yamamoto,  

[Date]2011/3/3
[Paper #]KBSE2010-55
Consideration on Relationship Name of ER Diagram based on Akira Mikami's Japanese Grammar Theory

Shigeo KANEDA,  

[Date]2011/3/3
[Paper #]KBSE2010-56
A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase

Akiko SHITOMI,  Shinobu SAITO,  

[Date]2011/3/3
[Paper #]KBSE2010-57
Generation of Consistent GUI by Analyzing Existing Windows

Seitaro SHIRAI,  Junko SHIROGANE,  Hajime IWATA,  Yoshiaki FUKAZAWA,  

[Date]2011/3/3
[Paper #]KBSE2010-58
Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing

Hirotaka Okuda,  Shinpei OGATA,  Saeko MATSUURA,  

[Date]2011/3/3
[Paper #]KBSE2010-59
A Method for Detecting Unusual Latent Defects in Enterprise System Using Model Checking Techniques : Verification of Database Lock Problem

Yoshitaka Aoki,  Saeko Matsuura,  

[Date]2011/3/3
[Paper #]KBSE2010-60
複写される方へ

,  

[Date]2011/3/3
[Paper #]
Notice for Photocopying

,  

[Date]2011/3/3
[Paper #]
奥付

,  

[Date]2011/3/3
[Paper #]
裏表紙

,  

[Date]2011/3/3
[Paper #]