Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2011-03-10 13:40 |
Oita |
Beppu International Convention Center |
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.) KBSE2010-47 |
In this article, a supporting tool to develop high-quality goal graphs is proposed and the result of an experiment is de... [more] |
KBSE2010-47 pp.1-6 |
KBSE |
2011-03-10 14:20 |
Oita |
Beppu International Convention Center |
Generating Test Cases from UML Requirement Specifications Based on Coverage Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2010-48 |
To develop high quality system, it should be verified that a final product satisfies the requirements specification. Fro... [more] |
KBSE2010-48 pp.7-12 |
KBSE |
2011-03-10 15:00 |
Oita |
Beppu International Convention Center |
A Verification System of the Correctness of Requirements Ontology Bui Quang Huy, Atsushi Ohnishi (Ritsumeikan Univ.) KBSE2010-49 |
In order to support a requirements elicitation, REO (Requirements Elicitation with Ontology) that uses a requirements on... [more] |
KBSE2010-49 pp.13-18 |
KBSE |
2011-03-10 15:55 |
Oita |
Beppu International Convention Center |
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) KBSE2010-50 |
This paper describes an analysis matrix and its method for extracting failure scenarios named ESIM (Embedded System Impr... [more] |
KBSE2010-50 pp.19-24 |
KBSE |
2011-03-10 16:35 |
Oita |
Beppu International Convention Center |
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.) KBSE2010-51 |
[more] |
KBSE2010-51 pp.25-30 |
KBSE |
2011-03-10 17:15 |
Oita |
Beppu International Convention Center |
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.) KBSE2010-52 |
In recent years, the technology needed to process languages on computers has become available as open-source software. ... [more] |
KBSE2010-52 pp.31-36 |
KBSE |
2011-03-11 10:00 |
Oita |
Beppu International Convention Center |
Requirements Engineering Education with Model-Driven Requirements Analysis Method employing Automatic Prototype Generation Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2010-53 |
It is important for software developers to create high quality requirements specification to achieve the success of soft... [more] |
KBSE2010-53 pp.37-42 |
KBSE |
2011-03-11 10:40 |
Oita |
Beppu International Convention Center |
A Method for Analyzing Information Integration Architecture Shuichiro Yamamoto (Nagoya Univ.) KBSE2010-55 |
[more] |
KBSE2010-55 pp.49-54 |
KBSE |
2011-03-11 11:20 |
Oita |
Beppu International Convention Center |
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) KBSE2010-54 |
[more] |
KBSE2010-54 pp.43-48 |
KBSE |
2011-03-11 13:00 |
Oita |
Beppu International Convention Center |
Consideration on Relationship Name of ER Diagram based on Akira Mikami's Japanese Grammar Theory Shigeo Kaneda (Doshisha Univ.) KBSE2010-56 |
The “relationship” description in an ER diagram has an S+V+O sentence structure in English. However, this rule is not ke... [more] |
KBSE2010-56 pp.55-60 |
KBSE |
2011-03-11 13:40 |
Oita |
Beppu International Convention Center |
A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase Akiko Shitomi, Shinobu Saito (NTT DATA Corp.) KBSE2010-57 |
In recent years, a lot of system development projects adopt the screen prototyping process on system definition phase. I... [more] |
KBSE2010-57 pp.61-66 |
KBSE |
2011-03-11 14:20 |
Oita |
Beppu International Convention Center |
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.) KBSE2010-58 |
Consistency is an essential factor of usability of GUIs. Consistent GUIs support us to learn software usage and to use m... [more] |
KBSE2010-58 pp.67-72 |
KBSE |
2011-03-11 15:15 |
Oita |
Beppu International Convention Center |
Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2010-59 |
User Interface prototyping have become popular techniques. So we have been suggesting automatic generation method of Web... [more] |
KBSE2010-59 pp.73-78 |
KBSE |
2011-03-11 15:55 |
Oita |
Beppu International Convention Center |
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) KBSE2010-60 |
[more] |
KBSE2010-60 pp.79-84 |