小形真平 (Shinpei OGATA) - マイポータル

SML4C: Fully automatic classification of state machine models for model inspection in education

Shinpei Ogata, Mizue Kayama

Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 720-729 2019年9月
モデル駆動開発方法論に基づく UML プログラミング教育環境

香山瑞恵, 小形真平, 永井孝

教育システム情報学会論文誌 36(2) 118-130 2019年4月
SMart-Learning: State Machine Simulators for Developing Thinking Skills

Shinpei Ogata, Mizue Kayama, Kozo Okano

Proceedings - IEEE 17th International Conference on Advanced Learning Technologies, ICALT 2017 81-83 2017年8月3日

もっとみる

MISC

住宅における情報ネットワークに対する非技術者向け要求表現ツールの検討

三輪, 丈馬, 小形, 真平, 鈴木, 彦文, 橋浦, 弘明, 岡野, 浩三

インターネットと運用技術シンポジウム論文集 2023 101-102 2023年11月30日
中学校技術科での利用を想定したモデリング学習支援環境とその授業実践

丸山, 凌凱, TRAN, NGOC THAO, 小川, 裕也, 加地, 泉美, 香山, 瑞恵, 永井, 孝, 舘, 伸幸, 小形, 真平, 田口, 直実

情報処理学会論文誌デジタルプラクティス（TDP） 4(2) 85-97 2023年4月15日
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法

YANG Pan, 岡野浩三, 小形真平, 岡本圭史

電子情報通信学会技術研究報告 119(451(SS2019 41-60)(Web)) 2020年
STAMP/STPAとモデル検査の併用による単線鉄道踏切例題の解析の効果について (安全性の証明)

岡野浩三, 岡本圭史, 小形真平

信頼性 = The journal of Reliability Engineering Association of Japan : 日本信頼性学会誌 41(2) 89-95 2019年3月
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 (ソフトウェアサイエンス)

岡野浩三, 小形真平, 楊盼, 岡本圭史

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(477) 1-6 2018年3月6日
IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 (ソフトウェアサイエンス)

小形真平, 青木善貴, 中川博之, 小林一樹, 福島祐子

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(136) 25-30 2017年7月19日
UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 (知能ソフトウェア工学)

但馬将貴, 香山瑞恵, 小形真平, 橋本昌巳

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(418) 7-12 2017年1月23日
SMart-Learning : DSLベースのUMLステートマシン図学習支援ツールの拡張 : 複数インスタンスのシミュレーション (知能ソフトウェア工学)

小形真平, 岡野浩三, 香山瑞恵

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(418) 1-6 2017年1月23日
ユースケース部品の組み合わせに対する目標の満足度の検査 (知能ソフトウェア工学)

松浦佐江子, 小形真平, 青木善貴

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(487) 37-42 2016年3月3日
要求分析におけるユーザ操作記録によるユーザビリティ評価支援手法 (知能ソフトウェア工学)

後藤祐吾, 小形真平, 岡野浩三

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(487) 63-68 2016年3月3日
状態遷移図を用いた基礎的概念モデリングにおける誤り分析に基づく初学者向けモデル評価機能の開発 (2015年度特集論文研究会能動的・自律的な学びを支援する学習環境の設計・構築・実践)

横田寛明, 香山瑞恵, 小形真平

教育システム情報学会研究報告 = JSiSE research report 30(7) 155-162 2016年3月
UMLモデリング教育用モデルコンパイラ向け状態遷移図のモデル記法チェック機能の開発 (2015年度特集論文研究会能動的・自律的な学びを支援する学習環境の設計・構築・実践)

但馬将貴, 香山瑞恵, 小形真平

教育システム情報学会研究報告 = JSiSE research report 30(7) 119-126 2016年3月
画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して (知能ソフトウェア工学)

小形真平, 紙森翔平, 海谷治彦

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(231) 33-38 2015年9月24日
小学生によるロボット動作モデリング学習を支援する環境

香山瑞恵, 但馬将喜, 永井孝, 小形真平, 國宗永佳, 橋本昌巳

教育システム情報学会第40回全国大会講演論文集 151-152 2015年9月
UMLモデリング教育を支援するルールベースのクラス図採点支援ツール (知能ソフトウェア工学)

宮島和音, 小形真平, 香山瑞恵

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(154) 149-154 2015年7月22日
モデル検査を用いたユースケースモデルに基づくソースコード検証 : ASP.NETアプリケーションを事例として (知能ソフトウェア工学)

青木善貴, 小形真平, 谷沢智史, 松浦佐江子

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(501) 71-76 2015年3月5日
ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : ASP.NETアプリケーションを事例として (知能ソフトウェア工学)

小形真平, 青木善貴, 谷沢智史, 松浦佐江子

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(420) 19-24 2015年1月26日
ソフトウェア開発技術教育モデリング教育教科書と大学院授業の設計

松浦佐江子, 青木善貴, 小形真平

芝浦工業大学SIT総合研究所(先端工学研究機構)研究成果報告 Research report of S.I.T. Research Laboratories and Research Organization for Advanced Engineering, S.I.T. 105-113 2015年
要求工学に革新を，要求工学で革新を－第22回要求工学国際会議(RE2014)参加報告－

斎藤忍, 井出昌浩, 小形真平, 中川博之, 位野木万里, 大久保隆夫, 青山幹雄

研究報告ソフトウェア工学（SE） 2014(9) 1-8 2014年11月6日
初学者向けの状態遷移図による振舞に関する概念モデリング教育へのモデル駆動開発方法論に基づく学習環境導入の効果

香山, 瑞恵, 小形, 真平, 永井, 孝, 横田, 寛明, 増元, 健人, 橋本, 昌巳, 大谷, 真

組込みシステムシンポジウム2014論文集 2014 108-113 2014年10月15日

もっとみる

書籍等出版物

電子情報通信学会通信ソサイエティマガジン 15 4

新村正明, 小林一樹, 小形真平

2022年3月
日本信頼性学会誌 41 2

岡野浩三, 岡本圭史, 小形真平

2019年3月

講演・口頭発表等

A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course

Takumi Katsuie, Shinpei Ogata, Kozo Okano, Yukako Iimura, Shinobu Saito

Proc. of the 12th International Workshop on Quantitative Approaches to Software Quality (APSEC 2024) 2024年12月
Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors

Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki

Proc. of the 1st International Workshop on Patterns and Practices of Reliable AI Engineering and Governance (AI-Pattern 2024) with ISSRE 2024 2024年10月
Function Calling in the Latest Large Language Models for Automated Classification of Non-Functional Requirements in Information Systems

Kazuhiro Mukaida, Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa, Shinpei Ogata, Kozo Okano

Proc. of International Workshop on Informatics 2024 (IWIN2024) 2024年9月
A Method for Automatic Creation of State Transition Diagrams from Software Requirement Specifications

Takeki Ninomiya, Maiko Onishi, Shinpei Ogata, Kozo Okano

Proc. of International Workshop on Informatics 2024 (IWIN2024) 2024年9月
A Light-Weight Method of Concept Drift Detection Using Heuristic Miner

Haruhiko Kaiya, Yuuki Koga, Soichiro Mori, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi

Proc. of the 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2024), Procedia Computer Science, Vol.246 2024年9月
Training Data Debugging Through a Lens of Outliers in Neuron Coverage

Kozo Okano, Daichi Ofuchi, Shinpei Ogata, Shin Nakajima

Proc. of Conference on AI, Science, Engineering, and Technology 2024 (AIxSET 2024) 2024年9月
Comparison of Methods for Automatically Predicting CVSS Base Vector

Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki

Proc. of the IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC 2024) 2024年7月
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月
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年9月
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年9月
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年9月
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年8月
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Speciﬁcations

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proc. of 29th Asia-Paciﬁc 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月
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年9月
Automatic Derivation of a Transition Model from a Japanese Requirement Speciﬁcation under a Restricted Grammar

Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, Kozo Okano

Proc. of International Workshop on Informatics 2022 (IWIN2022) 2022年9月
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年9月
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年9月
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年8月
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年8月

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

ソフトウェア分析・設計モデリング教育の裾野を広げる導入教育技術の開発と評価

日本学術振興会科学研究費助成事業基盤研究(C) 2025年4月 - 2028年3月

小形真平, 槇原絵里奈, 大西淳
機械学習により増強されたデータ駆動ソフトウェア保守進化基盤

日本学術振興会科学研究費助成事業国際共同研究加速基金(国際共同研究強化(B)) 2021年10月 - 2025年3月

鷲崎弘宜, 小形真平, 林晋平, 本田澄, 齋藤大輔
自然語解析と反例解析を活用したソフトウェア開発

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2025年3月

岡野浩三, 岡本圭史, 関澤俊弦, 小形真平
状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究

日本学術振興会科学研究費補助金（基盤研究(C)）基盤研究(C) 2020年4月 - 2023年3月

小形真平
人工物システムの適応性を向上させる超能動型CPSに関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 2017年7月 - 2022年3月

中川博之, 小林一樹, 小形真平, 土屋達弘, 冨沢哲雄
ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡

日本学術振興会科学研究費補助金（基盤研究(B)）基盤研究(B) 2016年4月 - 2021年3月

鷲崎弘宜
情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発

日本学術振興会科学研究費補助金（基盤研究(B)）基盤研究(B) 2016年4月 - 2021年3月

香山瑞恵
モデルと制約に基づくソフトウェア開発に関する研究

日本学術振興会科学研究費補助金（基盤研究(C)）基盤研究(C) 2016年4月 - 2019年3月

岡野浩三
手動評価と自動評価を統合したモデルベース操作性評価手法の研究

日本学術振興会科学研究費補助金（若手研究(B)）若手研究(B) 2015年4月 - 2019年3月

小形真平
学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発

日本学術振興会科学研究費補助金（基盤研究(B)）基盤研究(B) 2010年4月 - 2015年3月

香山瑞恵
高品質な要求仕様の定義に向けたモデル駆動開発手法の研究

日本学術振興会科学研究費補助金（特別研究員奨励費）特別研究員奨励費 2010年 - 2011年

小形真平
Research on Model-Driven Engineering
Research on Human-Centered Software Engineering
Research on Requirements Engineering

小形真平

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

主要な論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧