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 sitehttps://selab-su.weebly.com/ogatas-information.html

Modified:08/30/2019

Profile

Research Field
Software Engineering
All publications are shown on the above web site.
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
Consistency Checking between Java equals and hash Code Methods using Software Analysis Workbench
IEICE TRANSACTIONS on Information and Systems,E102-D(8):1498-1505 2019(Aug.)
Author:Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa Shinpei Ogata and Shin Nakajima


Removing Ambiguous Message Exchanges in Designing Sequence Diagrams for Developing Asynchronous Communication Program
International Journal of Informatics Society,9(3):129-138 2017(Dec.)
Author:Satoshi Harauchi, Kozo Okano and Shinpei Ogata


On the Generation of Human-oriented Counter-examples using a Test Automaton
International Journal of Informatics Society,9(1):41-50 2017(Jun.)
Author:Chikyu Yanagisawa, Shinpei Ogata and 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 and Kenji Kaijiri


Presentations
Landscape of IoT Patterns
IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019) 2019(May)
Author:Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez


Approach to Testing Many State Machine Models in Education
the 11th International Conference on Computer Supported Education CSEDU 2019 , :481-488 2019(May)
Author:Shinpei Ogata, Mizue Kayama and Kozo Okano


Verification of CPS Based on Control Loop using Model Checking
APSEC 2018 , :678-682 2018(Dec.)
Author:Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa


Taxonomy and Literature Survey of Security Pattern Research
AINS 2018 , :87-92 2018(Nov.)
Author:Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamamoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Takafumi Tanaka, Atsuo Hazeyama, Nobukazu Yoshioka and G Priyalakshmi


A Template System for Modeling and Verifying Agent Behaviors
PRIMA 2018 , :576-584 2018(Oct.)
Author:Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa and Kazuki Kobayashi


Applying SAW to regression verification for C functions with recursive data structure
IWIN2018 , :125-132 2018(Sep.)
Author:Kozo Okano, Satoshi Harauchi, Shin Maruyama and Shinpei Ogata


Analysis of Specification in Japanese using Natural Language Processing
JCKBSE 2018 , :12-21 2018(Aug.)
Author:Kozo Okano, Kazuma Takahashi, Shinpei Ogata and Toshifusa Sekizawa


Support Tool for Refining Conceptual Model in Collaborative Learning
JCKBSE 2018 , :147-157?Corfu 2018(Aug.)
Author:Misaki Maruyama, Shinpei Ogata, Kozo Okano and Mizue Kayama


Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model
JCKBSE 2018 , :158-167 2018(Aug.)
Author:Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki


Goal-Satisfaction Verification to Combination of Use Case Component
ENASE2018 , :343-350 2018(Mar.)
Author:Saeko Matsuura, Shinpei Ogata and 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 and Atsuo Hazeyama


Eliciting requirements for improving users' behavior using transparency
4th Asia Pacific Requirements Engineering Symposium (APRES 2017) , 809:41-56 2017(Nov.)
Author:Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and 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:Satoshi Harauchi, Kozo Okano and Shinpei Ogata


A rule-based method of stepwise evaluating class diagrams
Proc. of the International Workshop on Informatics (IWIN) 2017 , :141-146 2017(Sep.)
Author:Shinpei Ogata, Kazune Miyajima, Mizue Kayama and Kozo Okano


Preliminary Systematic Literature Review of Software and Systems Traceability
21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017) , :1141-1150 2017(Sep.)
Author:Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki


A Tool to Edit and Verify IoT System Architecture Model
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems , 2019:571-575 2017(Sep.)
Author:Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi and Yuko 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:Shinpei Ogata, Mizue Kayama and Kozo Okano


Traceability Link Mining - Focusing on Usability -
Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017) , :286-287 2017(Jul.)
Author:Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki


Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability
Proc. of the 26th International Conference on Computer Communication and Networks (ICCCN 2017) , :1-6 2017(Jul.)
Author:Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin 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:Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki


Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices
Proc. of the Educators Symposium @ MODELS 2016, CEUR Workshop Proceedings , 1835:6-13 2016(Oct.)
Author:Mizue Kayama, Shinpei Ogata, David K. Asano and Masami 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:Mizue Kayama, Shinpei Ogata, David K. Asano and Masami 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:Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi and Motoshi 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:Satoshi Harauchi, Kozo Okano and Shinpei 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:Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano


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


A Metamodel for Security and Privacy Knowledge in Cloud Services
Proc. of the IEEE Services 2016 , :142-143 2016(Jun.)
Author:Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Shinpei Ogata, Eduardo B. Fernandez, Nobukazu Yoshioka, Takehisa Kato, Haruhiko Kaiya, Hideyuki Kanuka, Yuki Kondo, Takao Okubo and Atsuo Hazeyama


Finding Potential Threats in Several Security Targets for Eliciting Security Requirements
Proc. of the 10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015) , :83-92 2015(Oct.)
Author:Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, and Atsuo Hazeyama


Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements
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 and 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 and 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 and Yoshiaki Fukazawa


Security and Privacy Behavior Definition for Behavior Driven Development
Product-Focused Software Process Improvement (Profes 2014) , LNCS 8892:306-309 2014(Dec.)
Author:Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, and Nobukazu Yoshioka


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


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


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


Security Requirements Analysis Using Knowledge in CAPEC
Advanced Information Systems Engineering Workshops , LNBIP 178:343-348 2014(Jun.)
Author:Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yosioka, Hironori Washizaki, and Kenji Kaijiri

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)