Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SC |
2018-11-10 14:00 |
Hyogo |
|
An Investigation and Analysis of UML State Machine Diagrams in Large Classes Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) KBSE2018-41 SC2018-36 |
In this paper, we reports on the result of an investigation and analysis of many answer models for a modeling task towar... [more] |
KBSE2018-41 SC2018-36 pp.77-82 |
MSS, SS |
2017-01-26 13:30 |
Kyoto |
Kyoto Institute of Technology |
A Study on Realizability of Choreography Given by Two Communication Diagrams
-- A Study on a Case where Conflicts Exist Between Scenarios -- Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) MSS2016-61 SS2016-40 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, ... [more] |
MSS2016-61 SS2016-40 pp.25-30 |
KBSE |
2017-01-23 12:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) KBSE2016-31 |
We have actualized SMart-Learning that is a tool set to learn a state machine diagram employing domain specific language... [more] |
KBSE2016-31 pp.1-6 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 15:10 |
Hokkaido |
|
SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] |
SS2016-5 KBSE2016-11 pp.49-54 |
ET |
2015-10-31 17:05 |
Oita |
Nippon Bunri Univ. (Yufuin Training Institute) |
Development of a Model-Driven Development based Educational Model Compiler for UML Modeling Education for Designing Operation Control Method for Robot Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) ET2015-54 |
The purpose of this study is to expand learning environment for UML modeling education. In our study, we focus on the e... [more] |
ET2015-54 pp.61-66 |
KBSE |
2013-05-30 17:00 |
Kanagawa |
Keio University |
A Screen Transition Model for Evaluating Usability Focusing on Function for Saving Inputs Hiroki Hayakawa, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) KBSE2013-6 |
Usability is important to attract consumers of e-commerce site, etc. A user often re-inputs data by mistakes or by chang... [more] |
KBSE2013-6 pp.31-36 |
KBSE |
2013-03-14 14:45 |
Tokyo |
Shibaura Institute of Technology |
Test Case Design Method to Guarantee the Feasibility of the Requirements Based on the Simulation Ryo Shikimi (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2012-75 |
To enhance mutual understanding between developers and customers and to guarantee the feasibility of the requirements de... [more] |
KBSE2012-75 pp.37-42 |
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 |
SWIM |
2012-08-21 14:00 |
Tokyo |
Tokyo Polytechnic Univ.(Nakano campus) |
Efficiency about the Engineering of Requirements on the System Development Masahiko Ishino (FUT), Tsukasa Kudo (SIST), Kenji Saotome (Hosei University), Nobuhiro Kataoka (Tokai University) SWIM2012-9 |
The efficiency of the systems development of the enterprise is demanded now. There are a lot of cases that most of proje... [more] |
SWIM2012-9 pp.9-13 |
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 |
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-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 |
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 |
SS |
2007-12-18 09:30 |
Shimane |
Shimane Univ. |
Proposal of a Test Case Generation Method for Enbedded Systems from Sequence Diagram Yo Inoue, Tetsuro Katayama (Univ of Miyazaki) SS2007-52 |
An efficient testing to keep the quality of products is required in embedded system development.
But, test-cases are ma... [more] |
SS2007-52 pp.85-90 |
KBSE |
2005-05-16 15:20 |
Tokyo |
Kikai-Shinko-kaikan Bldg. |
Analysis of collaboration task using use case diagrams focused on information and materials Toshiharu Kasahara, Atsuo Ohsone, Ryo Kawabata, Kiyoshi Itoh (Sophia Univ.) |
In systems analysis, it is important to analyze and describe the target system from the viewpoint of collaboration task.... [more] |
KBSE2005-4 pp.19-24 |