Kishi Tomoji

キシトモジ | Kishi Tomoji

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.kishi.mgmt.waseda.ac.jp/index.html

Research field (1)： Software

Research keywords (1)： Software Engineering

Research theme for competitive and other funds (6)：

2020 - 2023 可変性マイニングによる有用性優先の可変性管理手法の研究
2017 - 2020 On Utility-First Modeling Method
2015 - 2018 Research on Super-flexible Software Architecture Modelling Mechanism for Agile Development
2014 - 2017 On Approximate Configuration Management Method for Inconsistent Software Models
2011 - 2014 Studies on an Approximate Modeling Technique for Scalable Software Modeling

Show all

Papers (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

ｍore...

MISC (52)：

Frontiers of Software Engineering - The Era of Software-Defined Everything -:6. Software Modeling in Software-Defined Society. 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
INOUE NAOKI, KISHI TOMOJI. The technique for extracting abstract user interface information from the source code. Technical report of IEICE. SS. 2012. 112. 275. 175-182

ｍore...

Books (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
Software Engineering
Kindai Kagakusha 2016
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume2
ACM 2013 ISBN:9781450323253

ｍore...

Lectures and oral presentations (1)：

A Prioritization Method for SPL Pairwise Testing utilizing Feature Selection Probabilities
(The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019) 2019)

Education (2)：

- 2002 Japan Advanced Institute of Science and Technology Graduate School, Division of Information Science
- 1982 Kyoto university Graduate School, Division of Engineering

Professional career (1)：

Work history (3)：

Awards (7)：

2022/09 - Society of Automotive Engineers of Japan, Inc. ITS Standardization Activity Merit Prize
2017/05 - IPSJ/ITSCJ Standardization Contribution Award
2016/01 - IPSJ/ITSCJ Project Editor Award
2013/11 - IPSJ/ITSCJ Project Editor Award
2010/03 - 情報処理学会学会活動貢献賞

Show all

Association Membership(s) (5)：

日本経営工学会 , Japan Society for Software Science and Technology , IEEE Computer Society , ACM , 情報処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page