小形真平

J-GLOBALへ         更新日: 19/08/09 03:21
 
アバター
研究者氏名
小形真平
 
オガタシンペイ
eメール
ogatacs.shinshu-u.ac.jp
URL
http://selab-su.weebly.com/
所属
信州大学
部署
大学院総合理工学研究科 工学専攻
職名
助教
学位
博士(工学)(芝浦工業大学(日本))

経歴

 
2010年
 - 
2012年
日本学術振興会 特別研究員
 
2012年4月
 - 
2013年8月
信州大学 工学部 情報工学科 助教
 
2013年8月
   
 
信州大学 大学院理工学系研究科 助教
 

学歴

 
 
 - 
2012年3月
芝浦工業大学  
 

委員歴

 
2015年6月
 - 
2016年6月
電子情報通信学会  KBSE幹事補佐
 
2016年6月
 - 
2017年5月
電子情報通信学会  KBSE幹事
 
2017年6月
   
 
電子情報通信学会  KBSE専門委員
 
2016年6月
 - 
2019年5月
情報処理学会  論文誌査読委員
 

受賞

 
2016年9月
Best Paper Award
 
2016年8月
Industry Paper Award
 
2015年3月
Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”
 

論文

 
On the Generation of Human-oriented Counter-examples using a Test Automaton
Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
International Journal of Informatics Society   9(1) 41-50   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, Kenji Kaijiri
International Journal of Scientific Research   4(11) 13-16   2015年11月   [査読有り]
入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価
小形 真平, 早川 弘基, 海谷 治彦, 海尻 賢二
コンピュータ ソフトウェア   32(1) 1_147-1_160   2015年2月   [査読有り]
静的解析によるAndroidパーミッションの利用目的の可視化方法
坂下 卓弥, 小形 真平, 海谷 治彦, 海尻 賢二
情報処理学会論文誌   56(1) 391-400   2015年1月   [査読有り]
Method Miningに基づくerror-proneモジュールの予測
内宮 秀明, 小形 真平, 海尻 賢二,
バイオメディカル・ファジィ・システム学会誌   16(2) 45-58   2014年11月   [査読有り]

講演・口頭発表等

 
Goal-Satisfaction Verification to Combination of Use Case Component
Saeko Matsuura, Shinpei Ogata , Yoshitaka Aoki
ENASE2018   2018年3月   
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
岡野浩三, 小形真平, 楊盼, 岡本圭史
電子情報通信学会技術研究報告SS   2018年3月   
セキュリティパターン研究の分類体系と文献調査
鷲崎弘宜, 夏天, 鎌田夏実, 大久保隆夫, 小形真平, 海谷治彦, 加藤岳久, 鹿糠秀行, 田中昂文, 櫨山淳雄, 山本暖, 吉岡信和, 吉野雅之
情報処理学会研究報告SE   2018年3月   
画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~
岩堀航平, 小形真平, 岡野浩三
電子情報通信学会技術研究報告KBSE   2018年3月   
自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法
岡野浩三, 高橋一真, 仲悠介, 小形真平
電子情報通信学会技術研究報告KBSE   2018年3月   

競争的資金等の研究課題

 
Research on Requirements Engineering
Research on Human-Centered Software Engineering
Research on Model-Driven Engineering