OGATA Shinpei

Academic Assembly School of Science and Technology Institute of Engineering

Graduate School of Science and Technology 

Associate Professor 

Degree

  • Doctor of Engineering, Shibaura Institute of Technology (Japan)

Research Keyword

    Model-Driven Engineering

Field Of Study

  • All publications are shown on the above web site.
  • Software Engineering

TEL

    +81-26-269-5468

Mail Address

    ogata★cs.shinshu-u.ac.jp

Career

  • 2020
    Assoc. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University
  • 2014 - 2020
    Asst. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University
  • 2013 - 2014
    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

Educational Background

  • 2012, Shibaura Institute of Technology

Award

  • 2023
    第9回実践的IT教育シンポジウム in 函館, 優秀教育実践賞
  • 2022
    電子情報通信学会 ソフトウェアサイエンス研究専門委員会, ソフトウェアサイエンス研究会 研究奨励賞
  • 2020
    International Workshop on Informatics, Excellent Paper Award
  • 2016
    The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques, Best Paper Award
  • 2016
    IWIN (International Workshop on Informatics) 2016, Industry Paper Award
  • 2015
    IEEE Global Engineering Education 2015, Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”

Paper

  • Verification of Shell Script Behavior by Comparing Execution Log
    Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano
    International Journal of Informatics Society, 14(2), 55-64, Oct. 2022
  • Comparative Evaluation of NLP-Based Approaches for Linking CAPEC Attack Patterns from CVE Vulnerability Information
    Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
    Information, Applied Sciences, Special Issue on Software Engineering: Computer Science and System, 12(7), 1-16, Mar. 2022
  • Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques
    Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
    Information (Switzerland), 12(8), 1-15, Jul. 2021
  • Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees
    Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, Toshifusa Sekizawa
    International Journal of Informatics Society, 12(3), 107-115, Mar. 2021
  • Systematic Literature Review of Security Pattern Research
    Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Atsuo Hazeyama, Takafumi Tanaka, et al.
    Information (Switzerland), 12(1:36), 1-27, Jan. 2021
  • CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development
    Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
    International Journal of Systems and Software Security and Protection (IJSSSP), 12(2), 1-18, Jan. 2021
  • Landscape of Architecture and Design Patterns for IoT Systems
    Hironori Washizaki, Shinpei Ogata, Atsuo Hazeyama, Takao Okubo, Eduardo B. Fernandez and Nobukazu Yoshioka
    IEEE Internet of Things Journal, early access, 1-12, Jun. 2020
  • Consistency Checking between Java equals and hash Code Methods using Software Analysis Workbench
    Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa Shinpei Ogata and Shin Nakajima
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E102-D(8), 1498-1505, Aug. 2019
  • Removing Ambiguous Message Exchanges in Designing Sequence Diagrams for Developing Asynchronous Communication Program
    Satoshi Harauchi, Kozo Okano and Shinpei Ogata
    International Journal of Informatics Society, 9(3), 129-138, Dec. 2017
  • On the Generation of Human-oriented Counter-examples using a Test Automaton
    Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano
    International Journal of Informatics Society, 9(1), 41-50, Jun. 2017
  • Learning the Vocabulary of English as a Foreign Language without Using Japanese Translations: A Step-by-Step Approach for Beginners
    Hiromi Oshima, Shinpei Ogata and Kenji Kaijiri
    International Journal of Scientific Research, 4(11), 13-16, Nov. 2015

Lectures, oral presentations, etc.

  • Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
    Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
    Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec. 2022
  • An Educational Unified Modelling Language Programming Environment and Its Two Case Studies
    Ryoga Maruyama, Shinpei Ogata, Mizue Kayama, Nobuyuki Tachi, Takashi Nagai, Naomi Taguchi
    Proc. of the International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2022), Nov. 2022
  • A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
    Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
    Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), Sep. 2022
  • A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking
    Haruhiki Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi
    Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), Sep. 2022
  • Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar
    Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, Kozo Okano
    Proc. of International Workshop on Informatics 2022 (IWIN2022), Sep. 2022
  • Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
    Hitoshi Kiryu, Shinpei Ogata, Kozo Okano
    Proc. of International Workshop on Informatics 2022 (IWIN2022), Sep. 2022
  • A Method for Matching Patterns Based on Event Semantics with Requirements
    Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
    Proc. of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Aug. 2022
  • A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test
    Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi
    Proc. of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Aug. 2022
  • Reference Model for Agile Development of Machine Learning-based Service Systems
    Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata
    Proc. of APSEC Workshops 2021, Dec. 2021
  • Software edutainment systems and analysis of learners' data based docker and edutainment
    Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, Kozo Okano
    Proc. of the International Workshop on Informatics 2021 (IWIN 2021), Sep. 2021
  • Verification of shell script behavior by comparing execution log
    Hitoshi Kiryu, Shinpei Ogata, Kozo Okano
    Proc. of the International Workshop on Informatics 2021 (IWIN 2021), Sep. 2021
  • Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis
    Masanosuke Ohto, Hiroya Ii, Kozo Okano, Shinpei Ogata
    Proc. of KES 2021, Sep. 2021
  • Analysis of IoT Pattern Descriptions
    Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
    Proc. of IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT 2021), co-located with the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), Jun. 2021
  • Property Lifecycle Diagram for Tracing State Machine Diagram Changes
    Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano
    Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021), Apr. 2021
  • Property Lifecycle Diagram for Tracing State Machine Diagram Changes
    Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
    Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021) - Volume 1: MDI4SE, Apr. 2021
  • Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique
    Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
    Proc. of the 54th Hawaii International Conference on System Sciences (HICSS), Jan. 2021
  • Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
    Kozo Okano, Pan Yang, Shinpei Ogata and Keishi Okamoto
    Procedia Computer Science 176 1392-1401, Oct. 2020
  • A Tool to Manage Traceability on Several Models and Its Use Case
    Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki
    Procedia Computer Science 176 1449-1458, Oct. 2020
  • Java model checking: improvement of the understanding of counterexample
    Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano
    Proc. of the International Workshop on Informatics 2020 (IWIN 2020), Sep. 2020
  • Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling
    Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki
    Learning and Analytics in Intelligent Systems (LAIS) 19 70-83, Aug. 2020
  • Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification
    Hiroya Ii, Kozo Okano and Shinpei Ogata
    Learning and Analytics in Intelligent Systems (LAIS) 19 20-34, Aug. 2020
  • A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems
    Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi
    Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Mar. 2020
  • Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques
    Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki
    Proc. of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2019), Sep. 2019
  • Automated inspection method for an STAMP/STPA – Fallen Barrier Trap at Railroad Crossing –
    Pan Yang, Rin Karashima, Kozo Okano and Shinpei Ogata
    Proc. of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering System (KES 2019), Sep. 2019
  • SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education
    Shinpei Ogata and Mizue Kayama
    Proc. of the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep. 2019
  • Approach to Testing Many State Machine Models in Education
    Shinpei Ogata, Mizue Kayama and Kozo Okano
    the 11th International Conference on Computer Supported Education CSEDU 2019, May 2019
  • Landscape of IoT Patterns
    Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez
    IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019), May 2019
  • Verification of CPS Based on Control Loop using Model Checking
    Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa
    APSEC 2018, Dec. 2018
  • Taxonomy and Literature Survey of Security Pattern Research
    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
    AINS 2018, Nov. 2018
  • A Template System for Modeling and Verifying Agent Behaviors
    Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa and Kazuki Kobayashi
    PRIMA 2018, Oct. 2018
  • Applying SAW to regression verification for C functions with recursive data structure
    Kozo Okano, Satoshi Harauchi, Shin Maruyama and Shinpei Ogata
    IWIN2018, Sep. 2018
  • Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model
    Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki
    JCKBSE 2018, Aug. 2018
  • Support Tool for Refining Conceptual Model in Collaborative Learning
    Misaki Maruyama, Shinpei Ogata, Kozo Okano and Mizue Kayama
    JCKBSE 2018, Aug. 2018
  • Analysis of Specification in Japanese using Natural Language Processing
    Kozo Okano, Kazuma Takahashi, Shinpei Ogata and Toshifusa Sekizawa
    JCKBSE 2018, Aug. 2018
  • Goal-Satisfaction Verification to Combination of Use Case Component
    Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki
    ENASE2018, Mar. 2018
  • Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services
    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
    MODELSWARD 2018, Jan. 2018
  • Eliciting requirements for improving users' behavior using transparency
    Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and Takafumi Tanaka
    4th Asia Pacific Requirements Engineering Symposium (APRES 2017), Nov. 2017
  • A Tool to Edit and Verify IoT System Architecture Model
    Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi and Yuko Fukushima
    ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep. 2017
  • Preliminary Systematic Literature Review of Software and Systems Traceability
    Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki
    21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017), Sep. 2017
  • A rule-based method of stepwise evaluating class diagrams
    Shinpei Ogata, Kazune Miyajima, Mizue Kayama and Kozo Okano
    Proc. of the International Workshop on Informatics (IWIN) 2017, Sep. 2017
  • A method for verifying equivalence of functions in C language
    Satoshi Harauchi, Kozo Okano and Shinpei Ogata
    Proc. of the International Workshop on Informatics (IWIN) 2017, Sep. 2017
  • Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability
    Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin Nakashima
    Proc. of the 26th International Conference on Computer Communication and Networks (ICCCN 2017), Jul. 2017
  • Traceability Link Mining - Focusing on Usability -
    Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki
    Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Jul. 2017
  • SMart-Learning: State Machine Simulators for Developing Thinking Skills
    Shinpei Ogata, Mizue Kayama and Kozo Okano
    Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017), Jul. 2017
  • Security Requirements Verification for Existing Systems with Model Checking Technique and UML
    Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki
    Proc. of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Feb. 2017
  • Educational Criteria for Evaluating Simple Class Diagrams made by Novices for Conceptual Modeling
    Mizue Kayama, Shinpei Ogata, David K. Asano and Masami Hashimoto
    Proc. of the 13th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2106), Oct. 2016
  • Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices
    Mizue Kayama, Shinpei Ogata, David K. Asano and Masami Hashimoto
    Proc. of the Educators Symposium @ MODELS 2016, CEUR Workshop Proceedings, Oct. 2016
  • Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies
    Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi and Motoshi Saeki
    Proc. of the 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016), Sep. 2016
  • Framework for Relative Web Usability Evaluation on Usability Features in MDD
    Shinpei Ogata, Yugo Goto and Kozo Okano
    Human-Centered and Error-Resilient Systems Development LNCS 9856 73-85, Aug. 2016
  • A New Proposal of Generating Counter-example in Model Checking using Test Automaton
    Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano
    Proc. of the International Workshop on Informatics (IWIN) 2016, Aug. 2016
  • A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs
    Satoshi Harauchi, Kozo Okano and Shinpei Ogata
    Proc. of the International Workshop on Informatics (IWIN) 2016, Aug. 2016
  • A Metamodel for Security and Privacy Knowledge in Cloud Services
    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
    Proc. of the IEEE Services 2016, Jun. 2016
  • Finding Potential Threats in Several Security Targets for Eliciting Security Requirements
    Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, and Atsuo Hazeyama
    Proc. of the 10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015), Oct. 2015
  • Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements
    Shohei Kamimori, Shinpei Ogata and Kenji Kaijiri
    Proc. of the 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI), Jul. 2015
  • Effectiveness of Model-Driven Development Method in Conceptual Modeling Education for University Freshmen
    Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokota, Kento Masumoto and Masami Hashimoto
    Proc. of the 6th IEEE Global Engineering Education Conference (EDUCON2015), Mar. 2015
  • Support of Scenario Creation by Generating Event Lists from Conceptual Models
    Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani and Yoshiaki Fukazawa
    Proc. of the third International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb. 2015
  • Security and Privacy Behavior Definition for Behavior Driven Development
    Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, and Nobukazu Yoshioka
    Product-Focused Software Process Improvement (Profes 2014), Dec. 2014
  • Method Mining in Experimental Software Engineering
    Hideaki Uchimiya, Shinpei Ogata and Kenji Kaijiri, Method Mining in Experimental Software Engineering
    Proc. of the 2nd International Conference on Systems and Informatics (ICSAI), Nov. 2014
  • Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking
    Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata
    Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE) Workshops, Nov. 2014
  • A Practical Conceptual Modeling Teaching Method based on Quantitative Error Analyses for Novices Learning to Create Error-free Simple Class Diagrams
    Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto and Makoto Otani
    Proc. of the IIAI 3rd International Conference on Advanced Applied Informatics (IIAIAAI), Aug. 2014
  • Security Requirements Analysis Using Knowledge in CAPEC
    Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yosioka, Hironori Washizaki, and Kenji Kaijiri
    Advanced Information Systems Engineering Workshops LNBIP 178 343-348, Jun. 2014

Affiliated academic society

  • IEEE
  • ACM

Research Themes

  • 状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究
    科学研究費補助金, 日本学術振興会, 基盤研究(C)
    01 Apr. 2020 - 31 Mar. 2023
  • 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発
    科学研究費補助金, 日本学術振興会, 基盤研究(B)
    01 Apr. 2016 - 31 Mar. 2021
  • ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡
    科学研究費補助金, 日本学術振興会, 基盤研究(B)
    01 Apr. 2016 - 31 Mar. 2021
  • モデルと制約に基づくソフトウェア開発に関する研究
    科学研究費補助金, 日本学術振興会, 基盤研究(C)
    01 Apr. 2016 - 31 Mar. 2019
  • 手動評価と自動評価を統合したモデルベース操作性評価手法の研究
    科学研究費補助金, 日本学術振興会, 若手研究(B)
    01 Apr. 2015 - 31 Mar. 2019
  • 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発
    科学研究費補助金, 日本学術振興会, 基盤研究(B)
    01 Apr. 2010 - 31 Mar. 2015
  • 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究
    科学研究費補助金, 日本学術振興会, 特別研究員奨励費
    2010 - 2011
  • Research on Model-Driven Engineering