小形真平

オガタシンペイ | OGATA Shinpei

所属機関・部署：
職名：准教授
ホームページURL (2件)： https://sites.google.com/cs.shinshu-u.ac.jp/sel/staff/shinpei-ogata , https://sites.google.com/cs.shinshu-u.ac.jp/sel/

研究分野 (1件)：ソフトウェア

研究キーワード (1件)：モデル駆動工学

競争的資金等の研究課題 (13件)：

全件表示

論文 (100件)：

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki. Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022). 2022. 387-396
Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano. Verification of Shell ScriptBehavior by Comparing Execution Log. International Journal of Informatics Society. 2022. 14. 2. 55-64
Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka. Comparative Evaluation of NLP-Based Approaches for Linking CAPEC Attack Patterns from CVE Vulnerability Information. Information, Applied Sciences, Special Issue on Software Engineering: Computer Science and System. 2022. 12. 7. 1-16
Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. Procedia Computer Science. 2022. 207. 532-541
大宮拓馬,小形真平,岡野浩三. 可読性の高いクラス図レイアウトを作成するための美的基準の調査. コンピュータソフトウェア. 2021. 38. 4. 33-39

MISC (33件)：

書籍 (2件)：

講演・口頭発表等 (20件)：

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
(Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022) 2022)
An Educational Unified Modelling Language Programming Environment and Its Two Case Studies
(Proc. of the International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2022) 2022)
Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
(Proc. of International Workshop on Informatics 2022 (IWIN2022) 2022)
Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar
(Proc. of International Workshop on Informatics 2022 (IWIN2022) 2022)
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking
(Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022) 2022)

学歴 (1件)：

学位 (1件)：

経歴 (5件)：

委員歴 (16件)：

2020/06 - 2022/06 電子情報通信学会ソフトウェアサイエンス研究専門委員会幹事補佐
2020/06 - 2022/06 電子情報通信学会知能ソフトウェア工学研究専門委員会幹事補佐
2020/12 - 2022/05 電子情報通信学会『 Special Section on Empirical Software Engineering 』小特集編集委員会編集委員
2020/12 - 2022/05 電子情報通信学会『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会編集幹事
2019/06 - 2022/05 情報処理学会論文誌査読委員

全件表示

受賞 (6件)：

2023/02 - 第9回実践的IT教育シンポジウム in 函館優秀教育実践賞
2022/03 - 電子情報通信学会ソフトウェアサイエンス研究専門委員会ソフトウェアサイエンス研究会研究奨励賞
2020/09/11 - International Workshop on Informatics Excellent Paper Award
2016/09/13 - The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques Best Paper Award
2016/08/31 - IWIN (International Workshop on Informatics) 2016 Industry Paper Award

全件表示

所属学会 (5件)：

電子情報通信学会 , ACM , IEEE , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

小形 真平