Shinshu University HOMEJAPANESEAccess / Campus Map

Shinshu University Researcher DirectoryShinshu University Researcher Directory

Search by Researcher / Research Field
Search by Category

OGATA Shinpei

Academic OrganizationAcademic Assembly School of Science and Technology Institute of EngineeringTEL+81-26-269-5468
Education and Research OrganizationGraduate School of Science and TechnologyFAX
PositionAssistant ProfessorMail Addressogata@cs.shinshu-u.ac.jp
Address4-17-1, Wakasato, Nagano City 380-8553Web site

Modified:09/12/2018

Profile

Research Field
Software Engineering
Current Subject
Research on Requirements Engineering
Keywords:Object-Oriented Analysis , Model-Based Development , Validation & Verification
Research on Human-Centered Software Engineering
Keywords:Usability Engineering , Object-Oriented Design , Validation & Verification
Research on Model-Driven Engineering
Keywords:Rapid Prototyping , Model Transformation
Academic Background
Graduate School
Shibaura Institute of Technology , 2012

Degree
Doctor of Engineering , Shibaura Institute of Technology (Japan)
Awards
2016 , Best Paper Award
2016 , Industry Paper Award
2015 , Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”
Research Career
Research Career
2013- , Asst. Prof., Graduate School of Science and Technology, Shinshu University
2012-2013 , Asst. Prof., Dept. of Computer Science & Engineering, Faculty of Engineering, ShinshuUniversity
2010-2012 , JSPS Research Fellowships

Research

Books, Articles, etc.
Articles
On the Generation of Human-oriented Counter-examples using a Test Automaton
International Journal of Informatics Society,9(1):41-50 2017
Author:Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano


Learning the Vocabulary of English as a Foreign Language without Using Japanese Translations: A Step-by-Step Approach for Beginners
International Journal of Scientific Research,4(11):13-16 2015(Nov.)
Author:Hiromi Oshima, Shinpei Ogata, Kenji Kaijiri


Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment
International Journal of Secure Software Engineering (IJSSE),4(3):42-63 2013(Sep.)
Author:Haruhiko Kaiya, Junya Sakai, Shinpei Ogata and Kenji Kaijiri


Spectrum analysis on quality requirements consideration in software design documents
SpringerPlus,2(1):1-14 2013(Jul. 11)
Author:Haruhiko Kaiya, Masahiro Umemura, Shinpei Ogata, and Kenji Kaijiri


A review method for UML requirements analysis model employing system-side prototyping
SpringerPlus 2013,2(134):1-11 2013(Mar. 26)
Author:Shinpei Ogata, Saeko Matsuura


Experimental development based on mapping rule between requirements analysis model and web framework specific design model
SpringerPlus 2013,2(123):1-8 2013(Mar. 21)
Author:Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura


An Automation of Check Focusing on CRUD for Requirements Analysis Model in UML
International Journal of Computer, Electrical, Automation, Control and Information Engineering, World Academy of Science, Engineering and Technology,6(9):1149-1157 2012(Sep.)
Author:S. Ogata, Y. Aoki, H. Okuda, S. Matsuura


A Method of Automatic Integration Test Case Generation from UML-basedScenario
WSEAS TRANSACTIONS on INFORMATION SCIENCE&APPLICATIONS,7(4):598-607 2010(Apr.)
Author:Shinpei Ogata, and Saeko Matsuura


Evaluation of a Use-Case-Driven Requirements Analysis Tool Employing Web UI Prototype Generation
WSEAS TRANSACTIONS on INFORMATION SCIENCE&APPLICATIONS,7(2):273-282 2010(Feb.)
Author:Shinpei Ogata, and Saeko Matsuura


A UML-based Requirements Analysis with Automatic Prototype System Generation
Communication of SIWN,3:166-172 2008(Jun.)
Author:Shinpei Ogata, and Saeko Matsuura


Presentations
Goal-Satisfaction Verification to Combination of Use Case Component
ENASE2018 , :343-350 2018(Mar.)
Author:Saeko Matsuura, Shinpei Ogata , Yoshitaka Aoki


CSPM: Metamodel for Security and Privacy Knowledge in Cloud Services
MODELSWARD 2018 , :379-386 2018(Jan.)
Author:Tian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka, Atsuo Hazeyama


Eliciting requirements for improving users' behavior using transparency
4th Asia Pacific Requirements Engineering Symposium (APRES 2017), Springer CCIS , 809:41-56 2017(Nov.)
Author:Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka


A method for verifying equivalence of functions in C language
Proc. of the International Workshop on Informatics (IWIN) 2017 , :135-139 2017(Sep.)
Author:S. Harauchi, K. Okano, S. Ogata


A rule-based method of stepwise evaluating class diagrams
Proc. of the International Workshop on Informatics (IWIN) 2017 , :141-146 2017(Sep.)
Author:S. Ogata, K. Miyajima, M. Kayama, K. Okano


Preliminary Systematic Literature Review of Software and Systems Traceability
21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017), Session on Networks for Innovation, Knowledge Creation and Sharing , :1141-1150 2017(Sep.)
Author:H. Kaiya, R. Sato, A. Hazeyama, S. Ogata, T. Okubo, T. Tanaka, N. Yoshioka, H. Washizaki


A Tool to Edit and Verify IoT System Architecture Model
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, CEUR Workshop Proceedings , 2019:571-575 2017(Sep.)
Author:S. Ogata, H. Nakagawa, Y. Aoki, K. Kobayashi, Y. Fukushima


SMart-Learning: State Machine Simulators for Developing Thinking Skills
Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017) , :81-83 2017(Jul.)
Author:S. Ogata, M. Kayama, K. Okano


Traceability Link Mining - Focusing on Usability -
Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Fast Abstract , :286-287 2017(Jul.)
Author:Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki


Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability
Proc. of the 26th International Conference on Computer Communication and Networks (ICCCN 2017), IoTPST 2017 , :1-6 2017(Jul.)
Author:K. Okano, S. Harauchi, T. Sekizawa, S. Ogata, S. Nakashima


Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Proc. of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017) , :529-535 2017(Feb.)
Author:S. Matsuura, S. Ogata, Y. Aoki


Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices
Proc. of the Educators Symposium @ MODELS 2016 , :6-13 2016(Oct.)
Author:M. Kayama, S. Ogata, D. K. Asano, M. Hashimoto


Educational Criteria for Evaluating Simple Class Diagrams made by Novices for Conceptual Modeling
Proc. of the 13th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2106) , :319-323 2016(Oct.)
Author:M. Kayama, S. Ogata, D. K. Asano, M. Hashimoto


Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies
Proc. of the 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016) , :125-138 2016(Sep.)
Author:H. Kaiya, S. Ogata, S. Hayashi, M. Saeki


A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs
Proc. of the International Workshop on Informatics (IWIN) 2016 , :243-248 2016(Aug.)
Author:S. Harauchi, K. Okano, S. Ogata


A New Proposal of Generating Counter-example in Model Checking using Test Automaton
Proc. of the International Workshop on Informatics (IWIN) 2016 , :249-256 2016(Aug.)
Author:C. Yanagisawa, S. Ogata, K. Okano


Framework for Relative Web Usability Evaluation on Usability Features in MDD
Human-Centered and Error-Resilient Systems Development , 9856, LNCS:73-85 2016(Aug.)
Author:S. Ogata, Y. Goto, K. Okano


A Metamodel for Security and Privacy Knowledge in Cloud Services
Proc. of the IEEE Services 2016 , :142-143 2016(Jun.)
Author:H. Washizaki, S. Fukumoto, M. Yamamoto, M. Yoshizawa, Y. Fukazawa, S. Ogata, E. B. Fernandez, N. Yoshioka, T. Kato, H. Kaiya, H. Kanuka, Y. Kondo, T. Okubo, A. Hazeyama


A Metamodel for Security and Privacy Knowledge in Cloud Services
Proc. of Workshop on Pattern Promotion Anti-Pattern Prevention (PPAP) 2016 2016(Mar. 15)
Author:Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Takehisa Kato, Takao Okubo, Hideyuki Kanuka, Yuki Kondo, Shinpei Ogata, Atsuo Hazeyama, Haruhiko Kaiya and Eduardo B. Fernandez.


On Safety Verification of Multiple Tracing Robots
Proc. of Symposium on Advanced Information Systems 2015 2015(Sep.)
Author:Kozo Okano, Toshifusa Sekizawa, Shinpei Ogata


Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements
The International Association for Computer and Information Science (ACIS) , Proc. of the 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI) , :8-13 2015(Jul.)
Author:Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri


Effectiveness of Model-Driven Development Method in Conceptual Modeling Education for University Freshmen
Proc. of the 6th IEEE Global Engineering Education Conference (EDUCON2015) , :281-289 2015(Mar.)
Author:Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokota, Kento Masumoto, Masami Hashimoto


Support of Scenario Creation by Generating Event Lists from Conceptual Models
Proc. of the third International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) , :376-383 2015(Feb.)
Author:Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Yoshiaki Fukazawa


Method Mining in Experimental Software Engineering
Proc. of the 2nd International Conference on Systems and Informatics , :997-1001 2014(Nov. 16)
Author:Hideaki Uchimiya, Shinpei Ogata and Kenji Kaijiri


Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking
Proc. of the 25th IEEE International Symposium on Software Reliability Engineering Workshops , :124-125 2014(Nov. 03)
Author:Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata


A Practical Conceptual Modeling Teaching Method based on Quantitative Error Analyses for Novices Learning to Create Error-free Simple Class Diagrams
Proc. of the IIAI 3rd International Conference on Advanced Applied Informatics (IIAIAAI) , :616-622 2014(Aug.)
Author:Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto and Makoto Otani


IR based Traceability Link Recovery Method Mining
In The Eightth International Conference on Software Engineering Advances (ICSEA13) , :278-284 2013(Oct.)
Author:Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri


Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique
In The Eightth International Conference on Software Engineering Advances (ICSEA13) , :194-200 2013(Oct.)
Author:Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura,


Highlighting Disclosure of Sensitive Data on Android Application with Static Analysis (poster)
Symposium On Usable Privacy and Security 2013 2013(Jul. 23)
Author:Takuya Sakashita, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri


Goal-oriented security requirements analysis for a system used in several different activities
The Third International Workshop on Information Systems Security Engineering - WISSE'13 , 148:478-489 2013(Jun. 18)
Author:Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, and Nobukazu Yoshioka


Model Transformation Patterns for Introducing Suitable Information Systems
Proceedings of 19th Asia-Pacific Software Engineering Conference (APSEC 2012) , 1:434-439 2012(Dec. 04)
Author:Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki


Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis
Knowledge-Based Software Engineering 2012 , 240:88-97 2012(Aug.)
Author:Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata and Kenji Kaijiri


A Review Method of Requirements Analysis Model in UML with Prototyping
Knowledge-Based Software Engineering 2012 , 240:181-190 2012(Aug.)
Author:Shinpei OGATA, and Saeko MATSUURA


Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model
Knowledge-Based Software Engineering 2012 , 240:207-216 2012(Aug.)
Author:Hirotaka OKUDA, Shinpei OGATA, and Saeko MATSUURA


Test Case Generation by Simulating Requirements Analysis Model
Proc. of the 36th Annual IEEE International COMPSAC , :356-357 2012(Jul. 18)
Author:Ryo Shikimi, Shinpei Ogata and Saeko Matsuura


Quality Improvement of Requirements Specification using Model Checking Technique
Proc. of the 14th International Conference on EnterpriseInformation Systems , 2:401-406 2012(Jun. 29)
Author:Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda and Saeko Matsuura


Towards Model-Driven Development based on Verifiable Requirements Analysis Model
Proc. of IEEE Students’ Conference on Electrical, Electronics and Computer Science 2012 , vol.1:360-363 2012(Mar.)
Author:Shinpei Ogata and Saeko Matsuura


Training of requirements analysis modeling with UML-based prototype generation tool
Proc. of the 5th India Software Engineering Conference , :105-108 2012(Feb.)
Author:Shinpei Ogata, and Saeko Matsuura


Dependency Analysis for Learning Class Structure for Novice Java Programmer
Proc. of the 2nd IEEE International Conference on Software Engineering and Service science , :532-535 2011(Jun.)
Author:Tomoyoshi Wakabayashi,Shinpei Ogata, and Saeko Matsuura


Validation Code Generation for Unexpected User Operation on Web User Interface
Proc. of the 2011 International Conference on Communications, Computing and Control Applications , :1-6 2011(Mar.)
Author:Shinpei Ogata, and Saeko Matsuura


Enhancement of Requirements Specification Traceability by Model Driven Requirements Analysis Employing Automatic Prototype Generation
Proc. of the 10th IASTED International Conference on Software Engineering , 1:55-63 2011(Feb.)
Author:Shinpei Ogata、 Saeko Matsuura、Rie Sakai、Hiroyuki Sato and Toru Kobayashi


Towards the Reliable Integration Testing: UML-based Scenario Analysis using an Automatic Prototype Generation Tool
Proc. of the 9th SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS , :151-159 2010(Feb.)
Author:Shinpei Ogata, and Saeko Matsuura


An Evaluation of a Use Case Driven Requirements Analysis Using Web UI Prototype Generation Tool
Proc. of the 9th WSEAS International Conference on APPLIED COMPUTER SCIENCE , :235-240 2009(Oct.)
Author:Shinpei Ogata, and Saeko Matsuura


A System Development Method based on a Service Independent Interaction Model
Proc. of the 9th IASTED International Conference on Software Engineering and Applications , :154-159 2008(Nov.)
Author:Mina Amakawa, Shinpei Ogata, and Saeko Matsuura


Automatic Generation of UML-Based Web Application Prototypes
Proc. of the 10th International Conference on Enterprise Information Systems , :244-251 2008(Jul.)
Author:Shinpei Ogata, and Saeko Matsuura


Scenario-based Automatic Prototype Generation
Proc. of the 32nd Annual IEEE International Computer Software and Applications , :492-493 2008(Jul.)
Author:Shinpei Ogata, and Saeko Matsuura

Research Grants
Grants‐in‐aid for Scientific Research(Research Representative)
2015 - 2019 , 手動評価と自動評価を統合したモデルベース操作性評価手法の研究 , 若手研究(B)
2010 - 2011 , 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究 , 特別研究員奨励費

Grants‐in‐aid for Scientific Research(Researcher)
2016 - 2021 , 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発 , 基盤研究(B)
2016 - 2021 , ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡 , 基盤研究(B)
2016 - 2019 , モデルと制約に基づくソフトウェア開発に関する研究 , 基盤研究(C)
2010 - 2015 , 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発 , 基盤研究(B)