博士（工学）, 芝浦工業大学(日本)

全ての研究業績を上記ホームページURLに掲載しています．

ソフトウェア工学

2020年
信州大学学術研究院准教授（工学系）

2014年 - 2020年
信州大学学術研究院助教（工学系）

2013年 - 2014年
信州大学　大学院理工学系研究科　助教

2012年 - 2013年
信州大学　工学部　情報工学科　助教

2010年 - 2012年
日本学術振興会　特別研究員

2012年, 芝浦工業大学

2020年 - 2022年
『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会　編集幹事, 電子情報通信学会

2020年 - 2022年
『 Special Section on Empirical Software Engineering 』小特集編集委員会　編集委員, 電子情報通信学会

2020年 - 2022年
知能ソフトウェア工学研究専門委員会 幹事補佐, 電子情報通信学会

2020年 - 2022年
ソフトウェアサイエンス研究専門委員会 幹事補佐, 電子情報通信学会

2019年
論文誌JIP編集委員会（WG）　編集委員（Computing Group）, 情報処理学会

2019年
論文誌ジャーナル編集委員会（WG）　編集委員（基盤グループ）, 情報処理学会

2017年 - 2020年
電子情報通信学会 知能ソフトウェア工学研究専門委員会 専門委員, 電子情報通信学会

2017年 - 2018年
『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会　編集委員, 電子情報通信学会

2016年 - 2022年
論文誌査読委員, 情報処理学会

2016年 - 2017年
知能ソフトウェア工学研究専門委員会 幹事, 電子情報通信学会

2015年 - 2016年
知能ソフトウェア工学研究専門委員会 幹事補佐, 電子情報通信学会

2014年 - 2016年
東海支部委員, 情報処理学会

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”

ネットワーク設計に対するリンク障害の検証支援ツールの提案と評価
佐竹柊路, 鈴木彦文, 小形真平, 岡野浩三
学術情報処理研究, 27(1), 180-190, 2023年11月

ネットワーク構成モデルに基づくネットワーク機器設定手順自動生成システム,
新井凪, 小形真平, 鈴木彦文, 岡野浩三
情報処理学会論文誌デジタルプラクティス（DP）, 4(3), 33-47, 2023年07月

Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
Hitoshi Kiryu, Nobutoshi Todoroki, Satoshi Suda, Shinpei Ogata, Kozo Okano
International Journal of Informatics Society, 15(1), 15-22, 2023年06月

中学校技術科での利用を想定したモデリング学習支援環境とその授業実践
丸山凌凱, TRAN NGOC THAO, 小川裕也, 加地泉美, 香山瑞恵, 永井孝, 舘伸幸, 小形真平, 田口直実
情報処理学会論文誌デジタルプラクティス（TDP）, 4(2), 85-97, 2023年04月

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, 2022年10月

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, 2022年03月

可読性の高いクラス図レイアウトを作成するための美的基準の調査
大宮拓馬，小形真平，岡野浩三
コンピュータソフトウェア, 38(4), 33-39, 2021年10月

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, 2021年07月

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, 2021年03月

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, 2021年01月

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, 2021年01月

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, 2020年06月

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, 2019年08月

モデル駆動開発方法論に基づく UML プログラミング教育環境
香山瑞恵, 小形真平, 永井孝
教育システム情報学会論文誌, 36(2), 118-130, 2019年04月

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, 2017年12月

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, 2017年06月

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, 2015年11月

入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価
小形真平, 早川弘基, 海谷治彦, 海尻賢二
コンピュータソフトウェア, 32(1), 1_147-1_160, 2015年02月

静的解析によるAndroidパーミッションの利用目的の可視化方法
坂下卓弥, 小形真平, 海谷治彦, 海尻賢二
情報処理学会論文誌, 56(1), 391-400, 2015年01月

Method Miningに基づくerror-proneモジュールの予測
内宮秀明, 小形真平, 海尻賢二
バイオメディカル・ファジィ・システム学会誌, 16(2), 45-58, 2014年11月

要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用
松浦佐江子, 小形真平, 青木善貴, 谷沢智史, 西村一彦
IPA SEC Journal, 10(2), 8-15, 2014年07月

電子情報通信学会 通信ソサイエティマガジン 15 4
新村正明, 小林一樹, 小形真平, JupyterLab によるPython 学習のはじめかた
333-338 2022年03月

日本信頼性学会誌 41 2
岡野浩三, 岡本圭史, 小形真平, STAMP/STPAとモデル検査の併用による単線鉄道踏切例題の解析の効果について
89-94 2019年03月

Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces
Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima
Proc. of the 2nd International Workshop on Intelligent Software Engineering co-located with the 30th Asia-Pacific Software Engineering Conference (APSEC 2023), 2023年12月

Finding Contributable Activities Using Non-Verb Attributes In Events
Haruhiko Kaiya, Hironori Takeuchi, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito
Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023), 2023年09月

Practice-based Collection of Bad Smells in Machine Learning Projects
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito
Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023), 2023年09月

DNN-based Fault Localization with Virtual Coverage based on Number of Executions
Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, Kozo Okano
Proc. of International Workshop on Informatics 2023 (IWIN2023), 2023年09月

A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams
Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano
Proc. of the 35th IEEE International Conference on Software Engineering Education and Training (CSEE&T 2023), 2023年08月

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), 2022年12月

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), 2022年11月

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), 2022年09月

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), 2022年09月

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), 2022年09月

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), 2022年09月

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), 2022年08月

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), 2022年08月

Reference Model for Agile Development of Machine Learning-based Service Systems
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata
Proc. of APSEC Workshops 2021, 2021年12月

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), 2021年09月

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), 2021年09月

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, 2021年09月

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), 2021年06月

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), 2021年04月

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, 2021年04月

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), 2021年01月

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, 2020年10月

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, 2020年10月

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), 2020年09月

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 , 2020年08月

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, 2020年08月

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), 2020年03月

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), 2019年09月

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), 2019年09月

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), 2019年09月

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, 2019年05月

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), 2019年05月

Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa
APSEC 2018, 2018年12月

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, 2018年11月

A Template System for Modeling and Verifying Agent Behaviors
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa and Kazuki Kobayashi
PRIMA 2018, 2018年10月

Applying SAW to regression verification for C functions with recursive data structure
Kozo Okano, Satoshi Harauchi, Shin Maruyama and Shinpei Ogata
IWIN2018, 2018年09月

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, 2018年08月

Support Tool for Refining Conceptual Model in Collaborative Learning
Misaki Maruyama, Shinpei Ogata, Kozo Okano and Mizue Kayama
JCKBSE 2018, 2018年08月

Analysis of Specification in Japanese using Natural Language Processing
Kozo Okano, Kazuma Takahashi, Shinpei Ogata and Toshifusa Sekizawa
JCKBSE 2018, 2018年08月

Goal-Satisfaction Verification to Combination of Use Case Component
Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki
ENASE2018, 2018年03月

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, 2018年01月

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), 2017年11月

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, 2017年09月

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), 2017年09月

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, 2017年09月

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, 2017年09月

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), 2017年07月

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), 2017年07月

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), 2017年07月

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), 2017年02月

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), 2016年10月

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, 2016年10月

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), 2016年09月

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, 2016年08月

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, 2016年08月

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, 2016年08月

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, 2016年06月

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), 2015年10月

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), 2015年07月

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), 2015年03月

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), 2015年02月

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), 2014年12月

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), 2014年11月

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, 2014年11月

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), 2014年08月

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, 2014年06月

情報処理学会

日本ソフトウェア科学会

電子情報通信学会

IEEE

ACM

状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究
科学研究費補助金, 日本学術振興会, 基盤研究(C)
2020年04月01日 - 2023年03月31日

情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発
科学研究費補助金, 日本学術振興会, 基盤研究(B)
2016年04月01日 - 2021年03月31日

ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡
科学研究費補助金, 日本学術振興会, 基盤研究(B)
2016年04月01日 - 2021年03月31日

モデルと制約に基づくソフトウェア開発に関する研究
科学研究費補助金, 日本学術振興会, 基盤研究(C)
2016年04月01日 - 2019年03月31日

手動評価と自動評価を統合したモデルベース操作性評価手法の研究
科学研究費補助金, 日本学術振興会, 若手研究(B)
2015年04月01日 - 2019年03月31日

学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発
科学研究費補助金, 日本学術振興会, 基盤研究(B)
2010年04月01日 - 2015年03月31日

高品質な要求仕様の定義に向けたモデル駆動開発手法の研究
科学研究費補助金, 日本学術振興会, 特別研究員奨励費
2010年 - 2011年

モデルドリブンソフトウェア開発の成果物とその再利用性の研究
受託研究, 日本電信電話株式会社 NTT 情報流通プラットフォーム研究所
2009年 - 2010年

Research on Model-Driven Engineering

査読
情報処理学会, 2012年

査読
電子情報通信学会, 2012年