KISHI, Tomoji

J-GLOBAL         Last updated: Oct 10, 2019 at 02:56
KISHI, Tomoji
Waseda University
Faculty of Science and Engineering School of Creative Science and Engineering
Job title
Research funding number

Research Interests


Research Areas



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

Awards & Honors

Nov 2013
IPSJ/ITSCJ Project Editor Award

Published Papers

Hosoai, Shintaro; Noda, Natsuko; Kishi, Tomoji
Proceedings - Asia-Pacific Software Engineering Conference, APSEC   389-392   Dec 2016
© 2016 IEEE.Advances in device technology have promoted the development of small appliances such as wearable devices, IoT equipment, and small home electronics equipment. Considering a product family of such device/equipment, each product in the f...
Combined model checking and testing create confidence in correctness of commercial automotive operating system
Aoki Toshiaki;Satoh Makoto;Tani Mitsuhiro;Yatake Kenro;Kishi Tomoji
Research report   2016 [1-11]   May 2016
Sequel to Common Problems in the Software Engineering Community:4. Round-Table Talk - Thirty Years of Software Engineering Seen from Common Problems -
SHIGO Osamu;AOYAMA Mikio;UBAYASHI Naoyasu;NODA Natsuko;KISHI Tomoji
IPSJ Magazine   55(10) 1073-1079   Sep 2014
牧隆史, 岸知二
情報処理学会論文誌   55(2) 1069-1078   Feb 2014
野田夏子, 岸知二
情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2014-SE-186(17)    2014

Books etc

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji (Part:Joint Work)
School of Information Science, Japan Advanced Institute of Science and Technology   May 2016   
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume1
Tomoji Kishi, Stan Jarzabek, Stefania Gnesi, Natsuko Noda
ACM   Aug 2013   ISBN:978-1-4503-1968-3
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume2
Tomoji Kishi, Sholom Cohen, Steve Livengood
ACM   Aug 2013   ISBN:978-1-4503-2325-3
沢田/平山編著 (岸知二担当: ソフトウェアアーキテクチャ,プロダクトライン開発の章)
CQ出版社   Feb 2011   
Applied Software Product Line Engineering, (Ed. Kyo C. Kang,, Chapter 10 Formal Verification and Software Product Lines, pp231-246
Tomoji Kishi and Natsuko Noda
CRC Press   Dec 2009   ISBN:1420068415

Research Grants & Projects

Research on Super-flexible Software Architecture Modelling Mechanism for Agile Development
Project Year: Apr 2015 - Mar 2018
We developed a modeling mechanism for super-flexible software architecture, which realize agility in large-scale software development such as software product lines without requiring any changes on software architecture when various types of chang...
On Approximate Configuration Management Method for Inconsistent Software Models
Project Year: Apr 2014 - Mar 2017
The size and complexity of software models become larger and also they are constantly changing. As a result, models tend to include undefined and/or unverified parts in them; it is quite difficult to make software models always consistent. In this...
Studies on an Approximate Modeling Technique for Scalable Software Modeling
Project Year: Apr 2011 - Mar 2014
Software models are becoming more detailed and precise, and the development cost is increasing. In this research, we proposed an approximate modeling technique in which we develop approximate model (abstract and/or partial model) and make consiste...
Aspect-Oriented Modeling for Design and Verification Modeling
Design verifications utilizing model checking techniques require development of design model and verification model, and we have studied modeling techniques for these models. As software design model and verification model could have cross cutting...