研究者
J-GLOBAL ID：200901056269699144   更新日: 2024年11月26日

岸 知二

キシ トモジ | Kishi Tomoji
所属機関・部署：
早稲田大学 理工学術院 創造理工学部

早稲田大学 理工学術院 創造理工学部 について


職名： 教授
ホームページURL (1件)： http://www.kishi.mgmt.waseda.ac.jp/index.html
研究分野 (1件)： ソフトウェア
研究キーワード (1件)： ソフトウェア工学
競争的資金等の研究課題 (6件)：
  • 2020 - 2023 可変性マイニングによる有用性優先の可変性管理手法の研究
  • 2017 - 2020 ソフトウェアモデルの有用性優先モデリング手法の研究
  • 2015 - 2018 大規模アジャイル開発のための超柔軟なアーキテクチャ構成の研究
  • 2014 - 2017 大規模不整合モデルの近似的構成管理手法の研究
  • 2011 - 2014 大規模ソフトウェアモデリングのための近似的モデリング手法の研究
全件表示
論文 (157件)：
  • HanYu ZHANG, Tomoji KISHI. Large Class Detection Using GNNs: A Graph Based Deep Learning Approach Utilizing Three Typical GNN Model Architectures. IEICE Transactions on Information and Systems. 2024. E107. D(9). 1140-1150
  • 岸知二. 機械学習支援による形式検証についての考察. ソフトウェア工学研究会研究会報告. 2024. 2024-SE-217. no.4. 1-7
  • 岸知二. 可変性モデル分割手法の改善. 信学技報. 2024. 123. 443. 120-125
  • 森優津希, 岸知二. セキュリティパターンを活用したセキュアなIoTシステムの設計方法の提案. 信学技報. 2024. 123. 352. 55-60
  • Tomoji Kishi. Family-based Model Checking using Probabilistic Model Checker PRISM. Proceedings of the 30th Asia-Pacific Software Engineering Conference (APSEC 2023). 2023. 376-385
もっと見る
MISC (52件)：
  • 野田 夏子, 岸 知二. ソフトウェア工学の最前線 〜ソフトウェアが社会のすべてを定義する時代〜:[未来に向かって]6.開かれたソフトウェアのモデリング. 情報処理. 2017. 58. 8. 690-692
  • 岸 知二, 野田 夏子. 近似化によるフィーチャモデルからの製品導出手法 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2017. 116. 493. 13-18
  • 野田夏子, 小川秀人, 岸知二, 古畑慶次, 中西恒夫, 西浦洋一, 林健吾. 21st International Systems&Software Product Line Conference参加報告. 情報処理学会研究報告(Web). 2017. 2017. SE-197
  • 野田 夏子, 岸 知二. プロダクトライン開発を想定したアスペクト指向モデリング手法の研究. 特別教育・研究報告集. 2014. 226-229
  • 井上 尚紀, 岸 知二. コードからの抽象ユーザインタフェース情報抽出手法. 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2012. 112. 275. 175-182
もっと見る
書籍 (17件)：
  • 24th International Conference on Model-Driven Engineering Languages and Systems
    IEEE Computer Society 2021
  • 情報システムデザイン : 体験で学ぶシステムライフサイクルの実務
    共立出版 2021 ISBN:9784320124660
  • Cyber-Physical System Design from an Architecture Analysis Viewpoint, chapter 5, Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System, pp109-132.
    Springer 2017
  • ソフトウェア工学
    近代科学社 2016
  • SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume2
    ACM 2013 ISBN:9781450323253
もっと見る
講演・口頭発表等 (1件)：
  • A Prioritization Method for SPL Pairwise Testing utilizing Feature Selection Probabilities
    (The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019) 2019)
学歴 (2件)：
  • - 2002 北陸先端科学技術大学院大学 情報科学研究科
  • - 1982 京都大学 工学研究科 情報工学専攻
学位 (1件)：
  • 博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (3件)：
  • 2003 - 2009 北陸先端科学技術大学院大学 情報科学研究科
  • 2009 - 早稲田大学 理工学術院
  • 1982 - 2003 日本電気株式会社
受賞 (7件)：
  • 2022/09 - (公社)自動車技術開 ITS標準化功労者
  • 2017/05 - 情報処理学会 標準化貢献賞
  • 2016/01 - 情報処理学会 国際規格開発賞
  • 2013/11 - 情報処理学会 国際規格開発賞
  • 2010/03 - 情報処理学会 学会活動貢献賞
全件表示
所属学会 (5件)：
日本経営工学会 ,  日本ソフトウェア科学会 ,  IEEE Computer Society ,  ACM ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM