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 |
IA |
2012-10-18 14:00 |
Overseas |
Phuket |
Smart Services Selection based on Context-aware Seksit Disaro, Sinchai Kamolphiwong (Prince of Songkla Univ.), Chalermpol Charnsripinyo (NECTEC) IA2012-35 |
Unified Communication (UC) provides communication services integration, so user can gain benefits from several communica... [more] |
IA2012-35 pp.7-11 |
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 |
RCS |
2012-06-22 11:30 |
Hokkaido |
Hakodate City Central Library |
A Study on Unified Decoding for 2-hop Quantized LLR Relaying Scheme Yuichiro Nogawa, Shinsuke Ibi, Seiichi Sampei (Osaka Univ.) RCS2012-63 |
This paper proposes a novel relaying strategy, in which relay nodes forward quantized a-posteriori log-likelihood ratio ... [more] |
RCS2012-63 pp.117-122 |
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 |
MSS |
2008-08-05 11:10 |
Shizuoka |
Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
Control Synthesis Problems for State Feedback in Discrete Event Systems Qiying Hu (Fudan Univ.), Wuyi Yue (Konan Univ.), Chen Xu (Shenzhen Univ.) CST2008-22 |
In this paper, we study control synthesis problems in a unified model framework for discrete event state feedback contro... [more] |
CST2008-22 pp.59-64 |
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 |
CAS, SIP, VLD |
2007-06-22 10:30 |
Hokkaido |
Hokkaido Tokai Univ. (Sapporo) |
A Lateral Unified-CBiCMOS Buffer Circuit for Driving 5nF Maximum Load Capacitance per CCD Clock Masatoshi Kobayashi, Takashi Hamahata, Toshiro Akino, Kenji Nishi, Cuong Vo Le, Kousei Takehara, T. Goji Etoh (Kinki Univ.) CAS2007-22 VLD2007-38 SIP2007-52 |
Since 2001, we have been developing an in-situ storage image sensor (ISIS) that captures 100 to 150 consecutive images a... [more] |
CAS2007-22 VLD2007-38 SIP2007-52 pp.19-24 |
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 |