高木智彦

タカギトモヒコ | Takagi Tomohiko

所属機関・部署：
職名：准教授

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

研究キーワード (1件)：ソフトウェア工学

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

2022 - 2027 システム間連携に関する形式的仕様の記述および検証手法の開発
2017 - 2023 拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
2014 - 2018 ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
2011 - 2015 拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価

論文 (63件)：

Akio Usuda, Ryoichi Ishigami, Tomohiko Takagi. Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net. Proceedings of International Conference on Artificial Life and Robotics. 2023. 341-344
Sho Matsumoto, Tetsuro Katayama, Tomohiko Takagi. Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens. Proceedings of International Conference on Artificial Life and Robotics. 2023. 337-340
Tomohiko Takagi, Akio Usuda. A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool. Journal of Robotics, Networking and Artificial Life. 2022. 9. 1. 81-86
Tomohiko Takagi, Koichiro Sakata, Kouichi Akiyama. N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine. Proceedings of International Conference on Artificial Life and Robotics. 2022. 174-177
Tomohiko Takagi, Ryo Kurozumi. Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. Journal of Robotics, Networking and Artificial Life. 2021. 8. 2. 112-116

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

拡張画面遷移図に基づくWebアプリケーションのためのテスト保守手法とそのフレームワーク
(情報処理学会全国大会 2023)
D-Caseに基づくテスト駆動開発手法の提案
(電気関係学会四国支部連合大会 2019)
属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案
(情報処理学会全国大会 2019)
状態遷移表に基づくファジングのためのテストケース評価手法
(電気関係学会四国支部連合大会 2018)
形式的モデルの自己学習を支援するシステムの提案
(電気関係学会四国支部連合大会 2018)

学歴 (3件)：

- 2007 香川大学工学研究科博士後期課程信頼性情報システム工学専攻
- 2004 香川大学工学研究科修士課程信頼性情報システム工学専攻
- 2002 香川大学工学部信頼性情報システム工学科

学位 (1件)：

博士(工学) (香川大学)

経歴 (3件)：

2018/04 - 現在香川大学創造工学部准教授
2013/09 - 2018/03 香川大学工学部講師
2008/04 - 2013/08 香川大学工学部助教

委員歴 (21件)：

2017/01 - 現在 ICAROB (International Conference on Artificial Life and Robotics) Session Co-Chair
2013 - 現在ソフトウェアテストシンポジウム四国実行委員長
2011 - 現在ソフトウェア・シンポジウムプログラム委員
2008 - 現在ソフトウェアテストシンポジウム東京実行委員
2007 - 現在 JSTQB (Japan Software Testing Qualifications Board) 技術委員

2021 - 2021 電気・電子・情報関係学会四国支部連合大会プログラム編集委員

2010/09 - 2018/09 平成22,24,26,30年度電気関係学会四国支部連合大会座長

2017/07 - 2017/07 ACIT 2017 (International Conference on Applied Computing & Information Technology) Session Chair

2016/01 - 2017/07 SISS (International Conference on Social Informatics and Systems Science) Program Committee Member

2016/06 - 2016/06 ICIS 2016 (International Conference on Computer and Information Science) Session Chair

2014/12 - 2015/07 ACIT 2015 (International Conference on Applied Computing & Information Technology) Program Committee Member

2014/06 - 2015/06 SNPD 2015 (International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing) Local Arrangement Co-Chair, Session Chair

2013/04 - 2015/03 情報処理学会四国支部幹事

2013 - 2015 ソフトウェアエンジニアリングシンポジウムプログラム委員

2014/09 - 2014/09 SERA 2014 (International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications) Session Chair

2013 - 2013 電子情報通信学会ソフトウェアサイエンス研究会(2013年5月) 世話人

2012/03 - 2012/03 情報処理学会全国大会座長

2012 - 2012 平成24年度電気関係学会四国支部連合大会優秀発表賞・英語発表奨励賞選考委員

2008 - 2012 ソフトウェアテストシンポジウム四国実行委員

2011/09 - 2011/12 InSTA (International Workshop on Software Test Architecture) Program Committee Member

2011/05 - 2011/12 ISSRE 2011 (International Symposium on Software Reliability Engineering) Student Papers Committee Member

全件表示

受賞 (1件)：

2002/03 - 情報処理学会四国支部研究シンポジュームソフトウェアコンテスト優秀賞

所属学会 (3件)：

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

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

前のページに戻る

高木 智彦

高木智彦