研究者
J-GLOBAL ID:200901067218660989   更新日: 2020年07月03日

高木 智彦

タカギ トモヒコ | Takagi Tomohiko
所属機関・部署:
職名: 准教授
研究分野 (1件): ソフトウェア
研究キーワード (1件): ソフトウェア工学
競争的資金等の研究課題 (1件):
  • ソフトウェアテスト技法
論文 (46件):
  • Yuki Ue, Tomohiko Takagi. Learning Support Technique of Software Visual Modeling Using Place/Transition Nets. Proceedings of International Conference on Artificial Life and Robotics. 2020. 751-754
  • Tomohiko Takagi, Ryo Kurozumi. Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens. Proceedings of International Conference on Artificial Life and Robotics. 2020. 746-750
  • Tomohiko Takagi, Shogo Morimoto, Yuki Ue, Yoshiro Imai. Animated Graphics-Based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets. Journal of Robotics, Networking and Artificial Life. 2019. 5. 4. 278-282
  • Tomohiko Takagi, Ryo Kurozumi. Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications. Proceedings of International Conference on Artificial Life and Robotics. 2019. 157-160
  • Tomohiko Takagi, Shogo Morimoto, Yuki Ue, Yoshiro Imai. Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets. Proceedings of International Conference on Artificial Life and Robotics. 2019. 152-156
もっと見る
講演・口頭発表等 (49件):
  • D-Caseに基づくテスト駆動開発手法の提案
    (電気関係学会四国支部連合大会 2019)
  • 属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案
    (情報処理学会全国大会 2019)
  • 状態遷移表に基づくファジングのためのテストケース評価手法
    (電気関係学会四国支部連合大会 2018)
  • 形式的モデルの自己学習を支援するシステムの提案
    (電気関係学会四国支部連合大会 2018)
  • VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案
    (情報処理学会第80回全国大会 2018)
もっと見る
学歴 (3件):
  • - 2007 香川大学 工学研究科博士後期課程 信頼性情報システム工学専攻
  • - 2004 香川大学 工学研究科修士課程 信頼性情報システム工学専攻
  • - 2002 香川大学 工学部 信頼性情報システム工学科
学位 (1件):
  • 博士(工学) (香川大学)
経歴 (3件):
  • 2018 - 香川大学 准教授
  • 2013 - 香川大学 講師
  • 2008 - 香川大学 助教
委員歴 (20件):
  • 2013 - 現在 ソフトウェアテストシンポジウム四国 実行委員長
  • 2011 - 現在 ソフトウェア・シンポジウム プログラム委員
  • 2008 - 現在 ソフトウェアテストシンポジウム東京 実行委員
  • 2007 - 現在 JSTQB 技術委員
  • 2017 - 2020 ICAROB Session Co-Chair
全件表示
受賞 (1件):
  • 2002 - 情報処理学会四国支部研究シンポジューム ソフトウェアコンテスト優秀賞
所属学会 (3件):
情報処理学会 ,  電子情報通信学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る