Rchr
J-GLOBAL ID:200901056269699144
Update date: Feb. 14, 2024
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):
Papers (148):
-
張趙群, 岸知二. 検証パターンに注目した機械学習に基づくモデル検査手法の評価. 情報処理学会第85回全国大会予稿集. 2023. 2023. 1. 1-217-1-218
-
李健翔, 岸知二. ソフトウェア検証のための可変性マイニング手法. 情報処理学会第85回全国大会予稿集. 2023. 2023. 1. 1-209-1-210
-
岸知二. 確率的モデル検査器を用いたファミリーベースモデル検査についての考察. 電子情報通信学会 知能ソフトウェア工学研究会 予稿集. 2023. 122. 444. 61-66
-
張超群, 岸知二. 検証パターンに注目した機械学習に基づくモデル検査手法の評価. ソフトウェア工学の基礎 29 日本ソフトウェア科学会ソフトウェア工学の基礎研究会FOSE2022 (レクチャーノート/ソフトウェア学). 2022. 22. 79-84
-
Hanyu Zhang, Tomoji Kishi. Long Method Detection using Graph Convolutional Networks. 2022. 2022. 99-107
more...
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
more...
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
more...
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):
- 2003 - 2009 Japan Advanced Institute of Science and Technology
- 2009 - Waseda University Faculty of Science and Engineering
- 1982 - 2003 NEC Corporation
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 - 情報処理学会 学会活動貢献賞
- 2007 - IPA/SEC, SEC Journal 最優秀論文賞
- 1998 - 情報処理学会 山下記念研究賞
Show all
Association Membership(s) (5):
日本経営工学会
, Japan Society for Software Science and Technology
, IEEE Computer Society
, ACM
, 情報処理学会
Return to Previous Page