Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2012-11-23 15:05 |
Ishikawa |
Kanazawa University |
An Automatic Use of Model Checking Tool for Validating Data Lifecycle Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa, Kazuhiko Nishimura (VR), Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura (SIT) KBSE2012-56 |
Model checking techniques are a promised technique to detect errors in a specification efficiently and exhaustively. How... [more] |
KBSE2012-56 pp.109-114 |
KBSE, SS |
2012-07-27 13:30 |
Hokkaido |
Future University Hakodate |
Integration Method of UML Requirement Analytical Model and Security Requirement Analysis based on Common Criteria Atsushi Noro (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2012-13 KBSE2012-15 |
Analyzing security requirements for a system at an early stage of development is effective in developing a system with l... [more] |
SS2012-13 KBSE2012-15 pp.19-24 |
KBSE, SS |
2012-07-28 14:20 |
Hokkaido |
Future University Hakodate |
Systematic Improvement Method for Particular Problems of UML Modeling Beginners in Use Case Description Shunsuke Matsui, Hirotaka Okuda, Ryo Shikimi, Atsushi Noro, Koji Okada (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2012-33 KBSE2012-35 |
Use case analysis is an effective method to clearly define functional requirements for a system by the interaction betwe... [more] |
SS2012-33 KBSE2012-35 pp.139-144 |
KBSE |
2012-05-26 14:45 |
Kanagawa |
Keio University |
Android-UI Automatic Prototyping from UML Requirements Specifications Shunsuke Matsui (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2012-11 |
With the rapid spread of smartphones, there has been an increase in developing smartphone applications.
Thus, the smar... [more] |
KBSE2012-11 pp.63-68 |
KBSE |
2012-01-23 14:10 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Check-list to discover the Defects of Interaction by using UML Scenarios Shinpei Ogata, Saeko Matsuura (SIT) KBSE2011-57 |
Requirements Analysis (RA) for the interaction between users and a system is important to realize enterprise system so t... [more] |
KBSE2011-57 pp.25-30 |
KBSE |
2012-01-23 16:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Method for Detecting Defects of Program Based on Model Checking Techniques for Development Site Yoshitaka Aoki (NUL), Saeko Matsuura (S.I.T) KBSE2011-60 |
[more] |
KBSE2011-60 pp.43-48 |
KBSE |
2011-11-10 11:00 |
Nagano |
Shinshu Univ. |
Object Oriented Code Quality Evaluation and Analysis for Novice Programmer Tomoyoshi Wakabayashi, Saeko Matsuura (SIT) KBSE2011-38 |
Object-oriented programs made by novice programmers often have both bad structure contrary to the instructional design a... [more] |
KBSE2011-38 pp.13-18 |
KBSE |
2011-09-22 09:00 |
Overseas |
Ocean Grand Hotel Jeju |
Interactive Test Data Development Tool for Validating Requirements Analysis Model Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2011-32 |
To define the validated requirements specification by the customers, we have proposed a requirements analysis method in ... [more] |
KBSE2011-32 pp.49-54 |
KBSE |
2011-09-22 10:30 |
Overseas |
Ocean Grand Hotel Jeju |
Dependency Analysis for Application Development Framework of Business Logic Modeling Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (SIT) KBSE2011-34 |
[more] |
KBSE2011-34 pp.61-66 |
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-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 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 |
KBSE |
2011-01-25 15:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Dependency Analysis for Learning Class Structure for Novice Java Programmer Tomoyoshi Wakabayashi, Saeko Matsuura (SIT) KBSE2010-44 |
Novice Java programmers often can not make well-defined class structure in their programs, so that the programs do not h... [more] |
KBSE2010-44 pp.55-60 |
KBSE |
2011-01-25 16:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Programming Learning Environment "AZUR"
-- Visualizing Block Structures and Program Function Behavior -- Toshiyuki Imaizumi, Hiroaki Hashiura, Saeko Matsuura, Seiichi Komiya (Shibaura Inst. of Tech.) KBSE2010-45 |
It is difficult for beginner programmers imagine how a program does behave. The authors focused on the reasons for the s... [more] |
KBSE2010-45 pp.61-66 |
KBSE |
2010-11-24 14:10 |
Shizuoka |
Faculty of Infomatics, Shizuoka Univ. |
Evaluation of the Traceability through Model-Driven Development employing UML Requirements Analysis Model Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2010-27 |
To support validation of a requirements specification, we have proposed a UI prototype generation method from it. In the... [more] |
KBSE2010-27 pp.25-30 |
KBSE |
2010-03-04 15:20 |
Fukuoka |
Kyushu Institute of Technology (kyutech plaza) |
A Tool for Diagnosing the Quality of Java Program and a Method for its Effective Utilization in Education Hiroaki Hashiura, Saeko Matsuura, Seiichi Komiya (Shibaura Inst. of Tech.) KBSE2009-62 |
The functionality is considered to be very important in the software education at the university. Especially, this
tend... [more] |
KBSE2009-62 pp.19-24 |
KBSE |
2010-03-04 16:00 |
Fukuoka |
Kyushu Institute of Technology (kyutech plaza) |
A Tool based on Dependency Analysis for Learning Module Decomposition Kouhei Sakurai, Saeko Matsuura, Seiichi Komiya (Shibaura Inst. of Tech.) KBSE2009-63 |
In modern software development, developers need to properly apply software engineering techniques such as modularization... [more] |
KBSE2009-63 pp.25-30 |
KBSE |
2009-11-27 14:10 |
Shimane |
Shimane Univ. |
A Method for Detecting Defects in Source Codes Using Model Checking Techniques Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2009-44 |
The programs made by the developer who doesn't correctly understand the specifications include unexpected bugs, so that ... [more] |
KBSE2009-44 pp.79-84 |
KBSE |
2009-11-27 16:05 |
Shimane |
Shimane Univ. |
Experiment and Evaluation of Model Driven Development for ET Robot Contest Kunihiko Ito, Tatsuya Satou, Yuu Sugawara, Mariko Fukawa, Yumi Hoshina, Tomoyoshi Wakabayashi, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2009-47 |
We have participated in the Embedded Technology Robot Contest from 2007 and 2009. The aim of the contest is to design a ... [more] |
KBSE2009-47 pp.97-102 |