信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

小形真平  オガタ シンペイ

教員組織学術研究院(工学系)電話番号026-269-5468
教育組織大学院総合理工学研究科 工学専攻FAX番号
職名助教メールアドレスogata@cs.shinshu-u.ac.jp
住所〒380-8553 長野県長野市若里4-17-1ホームページURLhttps://selab-su.weebly.com/ogatas-information.html
http://selab-su.weebly.com/

更新日:2019/08/30

プロフィール

兼担研究科・学部
工学部 電子情報システム工学科
大学院総合工学系研究科 システム開発工学専攻
研究分野
ソフトウェア工学
全ての研究業績を上記ホームページURLに掲載しています.
現在の研究課題
Research on Requirements Engineering
キーワード:Object-Oriented Analysis , Model-Based Development , Validation & Verification
Research on Human-Centered Software Engineering
キーワード:Usability Engineering , Object-Oriented Design , Validation & Verification
Research on Model-Driven Engineering
キーワード:Rapid Prototyping , Model Transformation
所属学会
所属学会
情報処理学会
日本ソフトウェア科学会
IEEE
ACM
電子情報通信学会

所属学会役職担当
2017- , 電子情報通信学会 , KBSE専門委員
2016-2019 , 情報処理学会 , 論文誌査読委員
2016-2017 , 電子情報通信学会 , KBSE幹事
2015-2016 , 電子情報通信学会 , KBSE幹事補佐
学歴
出身大学院
2012 , 芝浦工業大学

取得学位
博士(工学) , 芝浦工業大学(日本)
受賞学術賞
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”
研究職歴等
研究職歴
2013- , 信州大学 大学院理工学系研究科 助教
2012-2013 , 信州大学 工学部 情報工学科 助教
2010-2012 , 日本学術振興会 特別研究員

研究活動業績

研究業績(著書・
発表論文等)
論文
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


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


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


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


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


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


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


学会発表
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

研究費
受託研究
2009 - 2010 , モデルドリブンソフトウェア開発の成果物とその再利用性の研究

科学研究費補助金(研究代表者)
2015 - 2019 , 手動評価と自動評価を統合したモデルベース操作性評価手法の研究 , 若手研究(B)
2010 - 2011 , 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究 , 特別研究員奨励費

科学研究費補助金(研究分担者)
2016 - 2021 , 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発 , 基盤研究(B)
2016 - 2021 , ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡 , 基盤研究(B)
2016 - 2019 , モデルと制約に基づくソフトウェア開発に関する研究 , 基盤研究(C)
2010 - 2015 , 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発 , 基盤研究(B)
研究諸活動
学術論文査読件数
情報処理学会
電子情報通信学会