Updated on 2022/05/25


KISHI, Tomoji
Faculty of Science and Engineering, School of Creative Science and Engineering
Job title

Concurrent Post

  • Faculty of Science and Engineering   Graduate School of Creative Science and Engineering

Research Institute

  • 2020

    理工学術院総合研究所   兼任研究員



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


    Kyoto university   Graduate School, Division of Engineering  


    Kyoto university   Graduate School, Division of Engineering  


  • 北陸先端科学技術大学院大学   博士(情報科学)

Research Experience

  • 2009

    Waseda University   Faculty of Science and Engineering

  • 2003

    Japan Advanced Institute of Science and Technology

  • 1982

    NEC Corporation

Professional Memberships




    Japan Society for Software Science and Technology


    IEEE Computer Society






Research Areas

  • Software

Research Interests

  • Software Engineering


  • 可変性を持つシステムの確率的モデル検査手法

    内藤 裕暉, 岸 知二

    情報処理学会ソフトウェア工学研究会   2022-SE-210   1 - 6  2022.03

    Authorship:Last author

  • A Test Prioritization Method for Configurable Software Systems based on Variability Mining

    Tomoji Kishi, Taiki Koyama, Natsuko Noda, Keisuke Horiuchi, Kensho Li, Chaoqun Zhang

    Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform   2021   42 - 49  2022.01  [Refereed]

    Authorship:Lead author

  • 可変性マイニングによるFTSの構築

    岸知二, 小山大揮

    情報処理学会ソフトウェア工学研究会   2021-SE-208 ( 17 ) 1 - 7  2021.07

    Authorship:Lead author

  • An Aspect-Oriented Development Method for Highly Configurable IoT Systems

    Hiroki Sekimoto, Tomoji KIshi, Natsuko Noda

    Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform   2020   59 - 60  2021.03  [Refereed]

    Authorship:Corresponding author

  • A method for capturing feature model characteristics

    Yang Yuxin, Takashi KItamura, Tomoji Kishi

        1-257 - 1-258  2021.03

    Authorship:Last author

  • Event sequence-based operational profile test method based on variability mining

    Daiki KOyama, Tomoji Kishi

        1-253 - 1-254  2021.03

    Authorship:Last author

  • A Quality Evaluation Framework for Machine Learning Model Updated on a Daily Basis

      2021-SE-207 ( 13 ) 1 - 7  2021.03

    Authorship:Last author

  • An Event Sequence Based Operational Profile Derivable by Variability Mining

    Daiki Koyama, Tomoji Kishi

      XXVII   39 - 44  2020.11  [Refereed]

    Authorship:Last author

  • Locator Repair Method for GUI Test Scripts Using Distributed Representation

    Yuto Isogami, Tomoji Kishi

      37 ( 4 ) 4_24 - 4_30  2020.10  [Refereed]

    Authorship:Last author

  • Toward an Encoding Approach to Interaction-based Test Suite Minimization

    Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho

    Proc. of Workshop on Combinatorial Testing (IWCT 2020)     211 - 212  2020.03  [Refereed]

  • Hidden-use case for eliciting quality in use

    Natsuko Noda, Tomoji Kishi, Shin'ichi Fukuzumi

    CEUR Workshop Proceedings   2545   25 - 27  2020  [Refereed]

     View Summary

    Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). Finding use cases and developing a use case diagram is one of the most powerful techniques for eliciting and specifies requirements. However, the notion of use case cannot handle the needs of indirect users correctly, because the use case only describes the direct interaction between the system and the actors. In this short position paper, we describe our ideas about extension of the concept of use case and use case description, to describe and analyze the needs of the indirect users.

  • A Prioritization Method for SPL Pairwise Testing Based on User Profiles

    Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC   2019-December   118 - 125  2019.12  [Refereed]

     View Summary

    © 2019 IEEE. In Software Product Line (SPL) development, one of promising techniques for core asset testing is to test a subset of SPL as representative products. SPL pairwise testing is a such technique in which each product corresponds to a possible feature configuration in the feature model (FM) and representative products are selected so as to all possible feature pairs are included. It is also important to prioritize representative products, because it could improve the effectiveness of core asset testing especially when the testing resource is limited. In this paper, we propose a prioritization method for SPL pairwise testing based on user profiles. A user profile is a set of user groups and their occurrence probabilities such as the percentages of user groups in a market that use specific devices, applications or services. These profiles are used as the probabilities of feature choices at decision points such as optional features and alternative features in a FM. Based on that, we calculate the probability for obtaining a feature pairs (PFP for short), and generate representative products with priority. Most researches relate to the probabilities about FM handle the probability for obtaining a single feature (PSF for short). Based on PSF, we could estimate PFP. However, this estimation is not appropriate for the prioritization especially when conditional probabilities appear in user profiles. In our method, we directly calculate PFP and determine the priorities. We evaluate the method to show advantages of prioritizations using PFP over those using PSF, and also analyze the characteristics of the method.


  • Doc2Vecを利用したGUIテストスクリプトのロケータ修正手法 (IEEE CS Japan Chapter FOSE Young Researcher Award)

    磯上雄人, 岸知二

    ソフトウェア工学の基礎 FOSE 2019     63 - 72  2019.11  [Refereed]

  • センサデバイスの自己適応による効率的なデータ送信手法の提案

    星野隆太, 岸知二

    情報処理学会第81回全国大会講演論文集   2019 ( 1 ) 137 - 138  2019.03

  • SQLインジェクションに対する機械学習を用いた攻撃検知手法の提案

    井村悠成, 岸知二

    情報処理学会第81回全国大会講演論文集   2019 ( 1 ) 241 - 242  2019.03

  • An Ontology-Based IoT Communication Data Reduction Method (best paper award)

    Yunkang Xu, Tomoji Kishi

    2018 9th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)     321 - 325  2018.11  [Refereed]

  • On Probabilistic Aspects of Feature Model Use

    Tomoji Kishi, Noda Natsuko

        129 - 134  2018.11  [Refereed]

  • SSNオントロジを用いたエッジ側での通信トラフィック削減手法

    徐運康, 岸知二

    情報処理学会 組込みシステムシンポジウム2018論文集 (ESS2018)   2018   13 - 16  2018.08

  • Model Checking Method for SPA Page Transition Based on Component-based Framework

    Proc. of The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)     675 - 680  2018.07  [Refereed]

  • A Feature Configuration Derivation Method Based on Approximate Feature Model Analysis

    Tomoji Kishi, Natsuko Noda

    Journal of Information Processing Society Japan   59 ( 4 ) 1203 - 1214  2018.04  [Refereed]

  • コンポーネント指向フレームワークを用いたSPAの画面遷移を対象とするモデル検査手法

    大嶋乃斗, 岸知二

    情報処理学会ソフトウェア工学研究会研究報告   2018-SE-198 ( 3 ) 1 - 7  2018.03

  • MDA アプローチを適用したスマートフォン・アプリケーション・プロトタイプ自動生成手法

    張唅宇, 岸知二

    情報処理学会第80回全国大会(学生奨励賞)    2018.03

  • 貢献度を用いた共通ゴール判別手法の提案

    木村健太, 岸知二

    情報処理学会第80回全国大会    2018.03

  • IoT システムのゲートウェイにおける実行履歴を利用した運用プロファイル生成手法

    中村将仁, 岸知二

    情報処理学会第80回全国大会予稿集     225 - 226  2018.03

  • IoT におけるエッジ側アクセス規制のセキュリティ検証

    矢島大嗣, 岸知二

    情報処理学会第80回全国大会    2018.03

  • 多目的最適化手法を用いたテストケース優先度決定手法


    情報処理学会第80回全国大会    2018.03

  • フィーチャモデル記述の妥当性に関する考察

    岸知二, 野田夏子

    ソフトウェア工学の基礎ワークショップ(FOSE)2017     195 - 200  2017.11  [Refereed]

  • ソフトウェアモデルにおける有用性優先についての考察

    岸 知二, 野田 夏子

    情報処理学会 ソフトウェア工学研究会   2017-SE-197(10)  2017.11

  • ソフトウェアの更新差分情報を用いたテストケース生成手法

    櫻井佳樹, 岸知二

    情報処理学会第79回全国大会(学生奨励賞)    2017.03

  • BLE 接続による柔軟なセンサ連携手法の提案

    大竹遼, 岸知二

    情報処理学会第79回全国大会    2017.03

  • Ruby on Rails を対象としたモデル検査による画面遷移検証

    大嶋乃斗, 岸知二

    情報処理学会第79回全国大会(学生奨励賞)    2017.03

  • スマートフォン特有の操作性に注目した GUI のモデル駆動開発手法

    張カンウ, 岸知二

    情報処理学会第79回全国大会    2017.03

  • テスト順序を考慮したペアワイズ法によるテストケース生成手法

    木村健太, 岸知二

    情報処理学会第79回全国大会    2017.03

  • SPLの近似的製品導出における近似緯度に関する考察

    岸知二, 野田夏子

    日本ソフトウェア科学会 第23回ソフトウェア工学の基礎ワークショップ     169 - 174  2016.12  [Refereed]

  • SPL開発と派生開発

    野田夏子, 小笠原秀人, 岸知二

    ソフトウェアエンジニアリングシンポジウム2016論文集   2016   262 - 263  2016.08

  • 変更履歴を活用したFault-prone 予測モデルの提案

    田中颯, 岸 知二

    ソフトウェアエンジニアリングシンポジウム2016論文集   2016   42 - 49  2016.08  [Refereed]

  • 柔軟なプロダクトラインアーキテクチャ設計に関する一考察

    野田夏子, 岸知二

    情報処理学会 ソフトウェア工学研究会   2016-SE-191 ( 27 ) 1 - 3  2016.07

  • 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]  2016.05


  • API利用における設計構造のパターンマイニング手法について(学生奨励賞)

    宮里章太, 岸 知二

    情報処理学会, 第78回全国大会講演論文集   2016 ( 1 ) 391 - 392  2016.03

  • Fault-Proneモジュール予測を利用した効率的な上位テスト手法の提案

    北村宗大, 岸 知二

    情報処理学会, 第78回全国大会講演論文集   2016 ( 1 ) 327 - 328  2016.03

  • SPL開発におけるペアワイズ法を用いたテスト手法について(学生奨励賞)

    城谷まりな, 岸 知二

    情報処理学会, 第78回全国大会講演論文集   2016 ( 1 ) 319 - 320  2016.03

  • フィーチャモデルの近似化と製品導出コストに関する考察

    岸知二, 高松幸平

    電子情報通信学会 知能ソフトウェア工学研究会   115 ( 487 ) 43 - 47  2016.03

  • System Product Line Engineering for Small Appliances with Driver Derivation

    Shintaro Hosoai, Natsuko Noda, Tomoji Kishi

    2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016)     389 - 392  2016  [Refereed]

     View Summary

    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 family may have different hardware (micro controller unit, devices such as sensors and actuators, and different configurations). Software for such equipment tends to be compact and handles the devices directly via drivers. However, software engineers are not familiar with driver development and this causes development bottleneck. Therefore, in order to develop products efficiently, derivations of software and hardware are not enough, i.e., the systematic derivation of drivers is indispensable. In this paper, we propose a system product line development method for small appliances in which drivers are systematically derived. In this method, hardware features and software features are managed in terms of feature models, and system products are derived by specifying features of hardware and software. Based on these, drivers are systematically derived. This paper proposes 1) an extension of the UML/MARTE model that can represent hardware information that is necessary for driver generation, and 2) a systematic driver derivation method based on variability management and model-driven engineering techniques. We evaluate the method using an example of a motion tracking system product family.


  • SPLにおける近似的製品導出に関する一考察

    岸知二, 野田夏子

    日本ソフトウェア科学会 第22回ソフトウェア工学の基礎ワークショップ     115 - 120  2015.12  [Refereed]

  • プロダクトライン開発 現在進行中

    野田夏子, 岸知二

    情報処理学会 ソフトウェアエンジニアリングシンポジウム2015論文集   2015   225  2015.08

  • OpenFlowコントローラの負荷を考慮した同期手法の提案

    降籏裕太, 岸知二

    第77回全国大会講演論文集   2015 ( 1 ) 159 - 160  2015.03

  • WebアプリケーションのGUIを対象としたMBT手法の提案 (学生奨励賞)

    ALI HOKROH, 岸知二

    情報処理学会 第77回全国大会講演論文集   2015 ( 1 ) 393 - 394  2015.03

  • 再利用資産を利用した効率的なテストケース生成手法の提案

    北村宗大, 岸知二

    情報処理学会第77回全国大会講演論文集   2015 ( 1 ) 345 - 346  2015.03

  • SPLのためのフィーチャ組合せテスト手法に関する考察

    城谷まりな, 岸知二

    情報処理学会 第77回全国大会講演論文集   2015 ( 1 ) 343 - 344  2015.03

  • API利用に関するパターンマイニング手法について

    宮里章太, 岸知二

    情報処理学会 第77回全国大会講演論文集   2015 ( 1 ) 319 - 320  2015.03

  • Variability modeling methods for software product line development

    Natsuko Noda, Tomoji Kishi

    Computer Software   31 ( 4 ) 66 - 76  2014.12

     View Summary

    In software product-line development (SPLD), variability management plays an essential role, and multiple variability modeling methods have been proposed. Along with gradual acceptance of SPLD and diversifications of the usage of variability models, there have been proposed various enhancements on these models. In this tutorial paper, we focus on feature model, a representative variability model. We firstly introduce the original feature model and some extensions made on the model, and then introduce how these models are used in SPLD activities.


  • On Approximate Configuration Management

    Tomoji Kishi, Shouta Miyazato, Natsuko Noda

    IPSJ SIG Notes   2014 ( 15 ) 1 - 7  2014.11

     View Summary

    Advanced use of software modeling such as those in product-line development, model-based development, and formal verification require large, complicated, precise and consistent models. As a result, the cost of model development and maintenance are becoming too expensive. In order to reduce the cost, we are currently examining an approximate modeling technique. In this paper, we propose an approximate configuration management based on the approximate modeling, and discuss the research direction and issues.


  • 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  2014.09


  • A Decision Making Method for Product-Line Architecture Refactoring

    Takashi Maki, Tomoji Kishi

    IPSJ Journal   55 ( 2 ) 1069 - 1078  2014.02

     View Summary

    In software development, we have to evolve architecture along with the change of business and technical environment. In product-line development (PLD), this becomes more crucial because we have to develop various products on the shared architecture. We observe that there are two types of architecture; one is reference architecture at the design level, the other is implementation architecture as an actual implementation structure of the reference architecture. In architectural evolution, we have to consider these two types and this makes the problem more complicated. In this paper, we assume architecture evolution as a kind of architectural refactoring, and propose a decision making method for architecture refactoring in PLD. In our proposed technique, we quantify magnitudes of problems on reference and implemented architecture for `bad smells' got from products project, then we utilize the result for decision making on architecture refactoring. We also evaluate the method based on actual data from our consumer products project.


  • 可変性モデル間の製品バリエーション不均衡に関するメトリクスの提案

    川島優樹, 岸知二

    情報処理学会 第76回全国大会論文集     435 - 436  2014

  • アスペクト指向技術に基づいたOpenFlow制御プログラムの開発支援

    大迫正和, 岸知二

    情報処理学会 第76回全国大会論文集     329 - 330  2014

  • 近似的モデリングアーキテクチャに関する考察

    岸知二, 川島優樹, 野田夏子

    情報処理学会, ソフトウェアエンジニアリングシンポジウム2014     152 - 157  2014

  • プロダクトライン開発における可変性のモデル化手法

    野田夏子, 岸知二

    コンピュータソフトウェア   Vol.31 ( No.4 ) 66 - 76  2014

  • 近似的構成管理について

    岸知二, 宮里章太, 野田夏子

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2014-SE-186 ( 15 ) 1 - 7  2014

  • アスペクト指向を利用したアーキテクチャ設計に関する考察

    野田夏子, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2014-SE-186 ( 17 )  2014

  • A product derivation support method considering the non-functional properties in software product line


    Technical report of IEICE. SS   113 ( 269 ) 79 - 86  2013.10

     View Summary

    Software Product Line (SPL) is one of promising approaches to support a systematic software reuse. In SPL, feature model is used to manage the variability among products in the SPL, however selecting required features from the feature model is not easy. The reason is feature model may have several hundred features and this makes millions of possible configurations. In order to support the feature selection, Selectivity Driven Product Derivation (SDPD) approach is proposed, but they just focus on functional features, and non-functional properties are not considered. In this paper, we propose an extension of SDPD to be able to handle non-functional properties.


  • A Report on the 17th Software Product Line Conference (SPLC2013)

    Tomoji Kishi, Yuzo Ishida, Yuji Sakata, Tsuneo Nakanishi, Natsuko Noda, Makoto Nonaka, Yoshikazu Hayashi, Kenji Hisazumi, Kazuyuki Yamauchi, Kentarou Yoshimura, Hironori Washizaki

    IPSJ SIG Notes   2013 ( 32 ) 1 - 3  2013.10

     View Summary

    We report on the 17th Software Product Line Conference was held in Tokyo, Japan.


  • A Report on the 17^th Software Product Line Conference(SPLC2013)


    Technical report of IEICE. SS   113 ( 269 ) 209 - 211  2013.10

     View Summary

    We report on the 17th Software Product Line Conference was held in Tokyo, Japan.


  • プロダクトライン開発における検証

    野田夏子, 岸知二

    コンピュータソフトウェア   Vol.30 ( No.3 ) 3 - 17  2013.09

  • ソフトウェア工学の共通問題

    岸知二, 野田夏子

    情報処理   Vol.54 ( No.9 ) 876 - 877  2013.09

  • ソフトウェア工学の共通問題とは

    岸知二, 細合晋太郎

    情報処理   Vol.54 ( No.9 ) 878 - 881  2013.09

  • メタモデル進化に対するモデル変換共進化手法

    権藤晃徳, 岸知二

    ソフトウェアエンジニアリングシンポジウム予稿集   2013   1 - 8  2013.09

  • 近似的モデリングメカニズムについての考察


    情報処理学会 ソフトウェア工学研究会 研究報告   VOL2013-SE-181   1 - 7  2013.07

  • Verification in Software Product Line Development.

    Natsuko Noda, Tomoji Kishi

    Computer Software   30 ( 3 ) 3 - 17  2013.01  [Refereed]

     View Summary

    Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods. © 2013, Japan Society for Software Science and Technology. All rights reserved.


  • Welcome message

    Stan Jarzabek, Stefania Gnesi, Natsuko Noda, Tomoji Kishi

    ACM International Conference Proceeding Series    2013  [Refereed]

  • フトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案,

    永野寛丸, 岸知二

    ソフトウェア工学研究会 研究報告, Vol.2013-SE-182, no.13   2013-SE-182 ( 13 ) 1 - 8  2013

  • モデル検査技術を用いたユースケース記述分析手法の提案

    川井彬央, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-178 ( No.4 ) 1 - 7  2012.10

  • GUIアプリケーションのテスト駆動開発の一手法

    石井良亮, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-178 ( no.9 ) 1 - 6  2012.10

  • 重み付き有向グラフを用いたセンサ隣接関係の自動推定手法

    緑川達也, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-178 ( no.15 ) 1 - 5  2012.10

  • コードからの抽象ユーザインタフェース情報抽出手法

    井上尚紀, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-178 ( no.27 ) 1 - 8  2012.10

  • メタモデル進化を考慮したモデル変換開発手法の提案

    権藤晃徳, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-178 ( no.28 ) 1 - 8  2012.10

  • 近似的モデリング技法についての考察


    情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2012-SE-177 ( no.34 ) 1 - 7  2012.07

  • ソフトウェアモデル間のスケーラブルな整合化戦略について


    ソフトウェア工学の基礎 XVIII 日本ソフトウェア科学会 FOSE 2011     97 - 102  2011.11

  • スケーラブルなモデリング技法に関する考察


    情報処理学会 ソフトウェア工学研究会 研究報告   Vol 2011-SE-173   1 - 8  2011.07

  • GUIを考慮したMDA開発手法の提案

    井上尚紀, 岸知二

    情報処理学会 ソフトウェア工学研究会 研究報告   vol2011-SE-172   1 - 8  2011.05

  • Joint Workshop of the Third International Workshop on Model-Driven Approaches in Software Product Line Engineering and the Third Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2011)

    Goetz Botterweck, Natsuko Noda, Deepak Dhungana, Rick Rabiser, Muhammad Ali Babar, Sholom Cohen, Kyo C. Kang, Tomoji Kishi

    Proceedings - 15th International Software Product Line Conference, SPLC 2011     340  2011  [Refereed]

     View Summary

    Many of the benefits expected from software product lines (SPL) [1-2] are based on the assumption that the additional investment required for domain engineering, pays off during application engineering when products are derived from the product line [3]. However, to fully exploit this we need to optimize application engineering processes and handle the reusable artifacts of an SPL in a systematic and efficient manner. In this context, the joint MAPLE/SCALE workshop focuses on two closely related aspects: how model-driven approaches can help to achieve systematic and efficient derivation of products and how scalability challenges can be addressed that arise from the application of SPL techniques to SPLs of realistic size and complexity. The workshop aims to explore and explicate the current status and ongoing work in model-driven approaches and/or scalability of SPLs and the transfer of knowledge between different disciplines and application domains. © 2011 IEEE.


  • On Modeling Method for Software Design Verification using Model Checking Techniques

    KISHI Tomoji

      2010 ( 9 ) 1 - 6  2010.05


  • 2nd Workshop on Scalable Modeling Techniques for Software Product Lines (SCALE 2010)

    M. Ali Baba, Sholom Cohen, Kyo C. Kang, Tomoji Kishi, Frank van der Linden, Natsuko Noda, Klaus Pohl

    SOFTWARE PRODUCT LINES: GOING BEYOND   6287   529 - 529  2010  [Refereed]

  • モデル検査のための設計モデル構築手法に関する考察


    情報処理学会 SIGSE   vol.2010-SE-168, No.9   1 - 6  2010

  • Problem Factor Portfolio Analysis for Product Line Architecture Refactoring

    Takashi Maki, Tomoji Kishi

    the second proc. of SPLC2010     205 - 208  2010

  • Problem Factor Analysis for Product Line Architecture Refactoring (Best Industry Paper Award)

    Takashi Maki, Tomoji Kishi

    17th Asia-Pacific Software Engineering Conference (APSEC 2010)    2010

  • New Challenge of Scalable Modeling

    Tomoji Kishi, Natsuko Noda

    the second proc. of SPLC2010   2010   191 - 192  2010

  • 想定モデリングに基づくソフトウェアプロダクトラインのコア資産検証手法

    朝倉功太, 岸知二

    情報処理学会 組込みソフトウェアシンポジウム (ESS2009)    2009.10

  • ソフトウェア設計・検証手法に関する考察 〜モデリングの観点より〜


    ソフトウェア工学研究会   SE-166-06  2009.07

  • Formal verification and software product lines

    Tomoji Kishi, Natsuko Noda

    Applied Software Product Line Engineering     231 - 246  2009.01  [Refereed]

     View Summary

    © 2009 by Taylor & Francis Group, LLC. Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).


  • プロダクトライン開発の全体像と要求工学


    情報処理学会 学会誌   vol50, No.4   268 - 273  2009

  • ソフトウェア再利用の新しい波 - 広がりを見せるプロダクトライン型ソフトウェア開発,


    情報処理学会 学会誌   vol50, No.4   265 - 267  2009

  • Scalable Modeling Techniques for Software Product Lines (SCALE 2009)

    Tomoji Kishi, Kyo Chul Kang

    proceedings of SPLC2009     299 - 299  2009

  • 設計検証のためのシーケンス図を活用した検証性質の指定方式

    野田夏子, 岸知二

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE2008     93 - 98  2008

  • ソフトウェア設計に対するモデル検査のための検証パターン

    金井勇人, 岸知二

    情報処理学会論文誌     2493 - 3507  2008

  • システム構成による制約を考慮したSPLの提案

    細合晋太郎, 岸知二

    情報処理学会、組込みシステムシンポジウム2008     61 - 69  2008

  • Aspect-oriented Modeling for Variability Management

    Natsuko Noda, Tomoji Kishi


     View Summary

    In product line development (PLD), reusability is the key factor, and it is important to make architecture and components flexibly configurable. Thus far, several techniques for utilizing aspect-oriented technologies (AOTs) for PLD have been proposed. However, the application of AOTs to PLD is not simple and various issues related to the application, such as an invasive change problem that prevents reusability, have been reported. We have proposed an aspect-oriented modeling (AOM) mechanism that separates concerns from their relationships with other concerns. In this study, we propose the application of our AOM to variability management and demonstrate the effectiveness of our approach with the help of a case study of embedded software.

  • Design Verification Tool for Product Line Development,

    Natsuko Noda, Tomoji Kishi

    11th International Software Product Line Conference (SPLC2007), The second volume     147 - 148  2007

  • Aspect-oriented modeling for embedded software design

    Natsuko Noda, Tomoji Kishi


     View Summary

    In software design, it is important to encapsulate cross-cutting concerns, and the application of aspect-oriented technologies to design modeling is a significant challenge.
    We examined the design of software for embedded systems that exhibit complicated behavior and observed that aspect orientation is useful for designing such systems.
    In this paper, we propose aspect-oriented modeling for embedded software design. For this modeling, we introduce an aspect-oriented modeling mechanism based on state diagrams. We also demonstrate how the proposed modeling can be effectively applied to embedded software design based on an example.


  • Formal verification and software product lines

    Tomoji Kishi, Natsuko Noda

    Communications of the ACM   49 ( 12 )  2006.12  [Refereed]

     View Summary

    A systematic method to verify designs within a product line based on formal verification techniques is presented. Model checking techniques to design verification, which is a formal verification technique in which the target system is described as a finite state model and provide some logical properties, was applied. Test scenarios were utilize for the design verification because it is a typical method for defining verification items. The application of the design verification was examine in the context of product line development for the verification by reuse. The variation points in the verification model were defined, a technique using UML has been been proposed that denotes variation points and variants by attaching certain stereotypes, to reuse the model in product line development. This formal verification techniques is one of the promising techniques to develop reliable embedded software.


  • Formal verification and software product lines - Using formal verification techniques to verify designs within a product line

    Tomoji Kishi, Natsuko Noda

    COMMUNICATIONS OF THE ACM   49 ( 12 ) 73 - 77  2006.12  [Refereed]

  • 組込みソフトウェアのためのUML設計検証支援環境

    岸知二, 野田夏子

    情報処理学会 組込みソフトウェアシンポジウム     50 - 57  2006

  • UML設計に対するモデル検査のための検証パターンの提案と評価

    金井勇人, 岸 知二

    情報処理学会 ソフトウェアエンジニアリングシンポジウム     185 - 192  2006

  • Highly reliable embedded software development using advanced software technologies

    T Katayama, T Nakajima, T Yuasa, T Kishi, S Nakajima, S Oikawa, M Yasugi, T Aoki, M Okazaki, S Umatani

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS   E88D ( 6 ) 1105 - 1116  2005.06  [Refereed]

     View Summary

    We have launched "Highly-Reliable Embedded Software Development" Project, held as a part of e-Society Project, supported by Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. The aim of this project is to enable the industry to produce highly reliable and advanced software by introducing latest software technologies into embedded software development. In this paper, we introduce the overview of the projects and our activities and results so far.


  • 組込みソフトウェア設計へのモデル検査適用手法の提案と実験・評価

    丸山陽太郎, 岸 知二, 片山卓也

    情報処理学会 組込みソフトウェアシンポジウム     64 - 71  2005

  • Design verification for product line development

    T Kishi, N Noda, T Katayama

    SOFTWARE PRODUCT LINES, PROCEEDINGS   3714   150 - 161  2005  [Refereed]

     View Summary

    Our society is becoming increasingly dependent on embedded software, and its reliability becomes more and more important. Although we can utilize powerful scientific methods such as model checking techniques to develop reliable embedded software, it is expensive to apply these methods to consumer embedded software development. In this paper, we propose an application of model checking techniques for design verification in product line development (PLD). We introduce reusable verification models in which we define variation points, and we show how to define traceability among feature models, design models and verification models. The reuse of verification models in PLD not only enables the systematic design verification of each product but also reduces the cost of applying model checking techniques.

  • An Aspect-Oriented Modeling Mechanism Based on State Diagrams,

    Natsuko NODA, Tomoji KISHI

    9th International Workshop on Aspect-Oriented Modeling (AOM), October 1, (Web掲載)    2005

  • Project report: High-reliable object-oriented embedded software design

    T Kishi, T Aoki, S Nakajima, N Noda, T Katayama


     View Summary

    The high-reliable object-oriented embedded software design project is an industry-university joint research project and has been launched in 2003 as a part of e-Society project, supported by Ministry of Education, Culture, Sports, Science and Technology, Japan. The target of this five-year project is to develop the method and environment for high-reliable embedded software development for civilian industry such as automobile, communication, control and consumer-electronics fields. The challenge of the project is to establish the practical usage of the latest achievement of software science and software engineering at the reasonable cost for actual development practice. In this paper, we introduce the approach, vision and plan of the project.

  • Design Testing for Product Line Development based on Test Scenarios

    Tomoji Kishi, Natusko Noda

    International Workshop on Software Product Line Testing (SPLiT 2004)     19 - 26  2004

  • Aspect-Oriented Context Modeling for Embedded Systems

    Tomoji Kishi, Natsuko Noda

    Workshop on Early Aspect: Aspect-Oriented Requirements Engineering and Architecture Design    2004

  • アスペクト指向による状況モデリング

    岸知二, 野田夏子

    情報処理学会 組込みソフトウェアシンポジウム     22 - 29  2003

  • 初心者のためのモデリング支援環境の構築

    池田健次郎, 岸知二

    情報処理学会 オブジェクト指向シンポジウム OO'02     19 - 26  2002

  • A method for product line scoping based on a Decision-Making framework

    Tomoji Kishi, Natsuko Noda, Takuya Katayama

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   2379   348 - 365  2002

     View Summary

    © Springer-Verlag Berlin Heidelberg 2002. It is indispensable for strategic product line development to define the proper scope of the product line. Once the scope has been defined, we examine the corresponding product line architecture to realize systematic reuse for the product line. Therefore, in defining the scope, we have to decide whether or not it is appropriate to share the same architecture for the products in the product line. The appropriateness of sharing the same architecture among multiple products has to be examined from two points of view. One is from the point of view of the individual optimality (i.e., whether it is good for each product to use the shared architecture), and the other is from the point of view of the whole optimality (i.e., whether it is good for the product line as a whole to share the architecture). In this paper, we propose a method for product line scoping. We consider scoping as a decision-making activity in which we evaluate multiple candidates for the scope and then select the proper one after examining the appropriateness from the two points of view. In order to demonstrate its applicability, we applied the method to the actual problem picked up from Japanese ITS (Intelligent Transport Systems) projects.


  • Software architecture

    Tomoji Kishi, Natsuko Noda

    Computer Software   18 ( 2 ) 310 - 319  2001  [Refereed]

  • Design Pattern Concerns for Software Evolution

    Natsuko Noda, Tomoji Kishi

    International Workshop on Principles of Software Evolution (IWPSE)     158 - 161  2001

     View Summary

    Most design patterns help to make systems flexible and extensible. They have potential effects to support evolutionary software development. Ordinary implementation of design patterns, however, is not always enough for evolution. It is based on the inheritance mechanism. This makes application classes quite dependent on patterns and reduces reusability of application classes. In addition, it is difficult to exchange patterns once a system is designed. In this paper, we introduce a way to implement design patterns more flexibly, applying the concept of separation of concerns. It is realized by separating design patterns, as explicit concerns, from the application core that is responsible for the primary functionalities. The new implementation technologies that support the advanced separation of concerns such as Hyper/J™ help with coding this kind of design. Using an example, we show that it is possible to exchange patterns to support different behavior without any change on the application core. Our approach has an advantage that reusability of both design patterns and the application core is improved.

  • Aspect-Oriented Analysis for Architectural Design

    Tomoji Kishi, Natsuko Noda

    International Workshop on Principles of Software Evolution (IWPSE)     126 - 129  2001

     View Summary

    It is expected that software architecture remains steady throughout its evolution. In order to design software architecture to have robustness towards evolution, it is important to capture the commonality and differences among potential software that will be developed on the software architecture, and design the software architecture to accommodate the commonality and differences. We have to capture the commonality and differences not only from functional aspect, but also from aspects relate to quality attributes, such as performance and reliability, because requirements on quality attributes also have strong impact on software architecture. In this paper, we propose aspect-oriented analysis method, in which we can capture commonality and differences between software, considering requirements on quality attributes.

  • Architectural design for evolution by analyzing requirements on quality attributes

    T Kishi, N Noda, T Katayama


     View Summary

    It is important to design architecture to be steady throughout the evolution, or make the architecture to be the platform for product family. In order to design software arcitecture to have such characteristics we have to analyze the commonality and differences among requirements on potential software that are supposed to be developed on the architecture, and then design software architecture so as to accommodate the commonality and differences. In this paper, we propose an approach for architectural design in which we analyze the requirements on potential software in terms of the impact on tile architecture, considering multiple quality attributes. We make case study on actual project that designed architecture for on-board system for ITS systems to examine the usefulness of the technique. e also apply the technique to the same architectural design problem to demonstrate that it is applicable to the real problem.

  • Aspect-oriented analysis for product line architecture

    T Kishi, N Noda

    SOFTWARE PRODUCT LINES   576   135 - 145  2000  [Refereed]

     View Summary

    In designing a product-line architecture (PLA), it is important to analyze corm-non and variable requirements in a product family. These requirements must be analyzed not only from the functional aspect but also from aspects related to quality attributes such as performance and reliability. For example, if two products are required to attain different levels of performance, architectures for these products may be different even if they provide the same functionality. In this paper, we propose an aspect-oriented analysis method for PLA design in which we analyze product requirements from each aspect separately. In the method, we identify important factors for each quality attribute, and characterize the services in terms of the factors. Based on the characterization, we separate requirements related to each quality attribute from the original requirements. Using the method, we can examine the architecture styles required for a PLA from each aspect, which can make PLA design easier.

  • 性能面からのホット/フローズンスポットの分析

    岸知二, 野田夏子

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'99     60 - 67  1999

  • アスペクト指向設計による品質特性の達成

    野田夏子, 岸知二

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'99     52 - 59  1999

  • On aspect-oriented design-an approach to designing quality attributes

    Natsuko Noda, Tomoji Kishi

    Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999     230 - 237  1999

     View Summary

    © 1999 IEEE. It is difficult to design software to meet its goal on quality attributes, because there are many factors related to quality attributes, and the relationships between these factors and quality attributes are quite complicated. However, we do not have a systematic way to design software considering quality attributes. Consequently, we have many troubles in the attainment of required quality attributes in actual software development. We are examining a design method, aspect oriented design (AOD) based on the idea of "aspect orientedness" proposed in the programming community as aspect oriented programming. In AOD, aspects corresponding to quality attributes are considered separately, and software architectures suitable for each aspect are designed independently and woven into the final architecture. The authors introduce their approach and demonstrate the effectiveness of the approach using an example.


  • ITS Physical Architecture Development with technological method reference

    Y. Matsunaga, T. Kishi, Y. Hounoki, E. Tsuno

    Proc. of 6th World Congress on ITS    1999

  • Analyzing Hot/Frozen-spot from Performance Aspect, Workshop on Object Technology for Product-line Architectures

    Tomoji Kishi, Natsuko Noda

    Workshop on Object Technology for Product-line Architectures, European Conf on Object-Oriented Programming (ECOOP)     129 - 138  1999

  • An Architectural Approach to Performance Issues - from Experiences in the Development of Network Management Systems

    Natsuko Noda, Tomoji Kishi

    The First Working IFIP Conference on Softgware Architecture (WICSA1)    1999

  • 性能設計における協調/依存グラフの活用

    野田夏子, 岸知二

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'98     68 - 73  1998

  • アーキテクチャコンフォーマンスを活用した非機能的特性の設計

    岸知二, 野田夏子

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'98     86 - 95  1998

  • Software Design based on Architecture Conformance

    Tomoji Kishi, Natsuko Noda

    The First Working IFIP Conference on Softgware Architecture (WICSA1)    1998


    Yoshihiro Matsunaga, Tomoji Kishi

    Proceedings of th 5th World Congress on ITS    1998

  • パターンを用いたアーキテクチャ設計

    野田夏子, 岸知二

    情報処理学会 オブジェクト指向シンポジウム OO'97     23 - 30  1997

  • ソフトウェアアーキテクチャに基づく安全性ソフトウェアの開発

    岸知二, 川口晃, 駒嵜克郎

    情報処理学会 ソフトウェア工学研究会 研究報告   SE112-07   49 - 56  1996.11

  • 組み込みシステムのオブジェクト指向設計のための多階層ソフトウェア・アーキテクチャ

    元木誠, 川口晃, 岸知二

    情報処理学会 オブジェクト指向シンポジウム OO'96     159 - 166  1996

  • ソフトウェアアーキテクチャモデルに基づく設計手法について


    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'96     114 - 121  1996

  • スパイラルなモデリングを実現する設計支援環境の提案

    池田健次郎, 前川佳春, 野田夏子, 岸知二

    情報処理学会 オブジェクト指向シンポジウム OO'96     71 - 78  1996

  • オブジェクト設計のためのソフトウェアアーキテクチャモデル

    岸知二, 前川佳春, 池田健次郎, 野田夏子

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ FOSE'95     111 - 120  1995

  • オブジェクト指向設計を支援するマルチレベル設計シミュレータ

    池田健次郎, 前川佳春, 野田夏子

    情報処理学会 オブジェクト指向シンポジウム OO'95     197 - 204  1995

  • オブジェクト指向開発アプローチCrossoverにおける設計モデル

    岸知二, 前川佳春, 池田健次郎, 野田夏子

    ソフトウェア工学の基礎ワークショップ FOSE'94     161 - 168  1994

  • 構成管理機能に基づいた統合環境構築基盤 LifeLine


    日本ソフトウェア科学会 コンピュータ・ソフトウェア   Vol.10 ( No.2 ) 134 - 143  1993

  • CASE環境構築のためのファイル管理機能

    岸知二, 入交晃一, 坪谷英昭

    情報処理学会 CASE環境シンポジウム     57 - 64  1989

  • 不動点意味論に基づく Horn 節集合の充足不能性判定

    山崎進, 岸知二, 堂下修司

    電子通信学会論文誌(D)   Vo.J65-D ( No.11 ) 1334 - 1341  1982

  • 帰納的プログラムから Horn 節集合への翻訳アルゴリズム

    岸知二, 山崎進, 堂下修司

    電子通信学会論文誌(D)   Vol.J65-D ( No.11 ) 1342 - 1349  1982

  • いくつかのクラスにおける Horn 節集合の充足不能性問題の計算量

    山崎進, 岸知二, 石橋稔彦, 堂下修司

    電子通信学会論文誌(D)   Vol.J65-D ( No.6 ) 711 - 718  1982

▼display all

Books and Other Publications

  • 24th International Conference on Model-Driven Engineering Languages and Systems

    Zhenjiang Hu, Tomoji Kishi, Naoyasu Ubayashi, Daniel Varro, Shiva Nejati( Part: Joint author, Ed.)

    IEEE Computer Society  2021.10

  • 情報システムデザイン : 体験で学ぶシステムライフサイクルの実務

    高橋, 真吾, 衣川, 功一, 野中, 誠, 岸, 知二, 野村, 佳秀( Part: Joint author)

    共立出版  2021.01 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.

    Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi

    Springer  2017

  • Software Engineering

    Tomoji Kishi( Part: Joint author)

    Kindai Kagakusha  2016.08

  • SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume2

    Tomoji Kishi, Sholom Cohen, Steve Livengood

    ACM  2013.08 ISBN: 9781450323253

  • SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume1

    Tomoji Kishi, Stan Jarzabek, Stefania Gnesi, Natsuko Noda

    ACM  2013.08 ISBN: 9781450319683

  • 組み込みソフトウェア開発技術

    沢田, 平山編著, 岸知二担当, ソフトウェアアーキテクチャ, プロダクトライン開発の

    CQ出版社  2011.02

  • Applied Software Product Line Engineering, (Ed. Kyo C. Kang, et.al.), Chapter 10 Formal Verification and Software Product Lines, pp231-246

    Tomoji Kishi, Natsuko Noda

    CRC Press  2009.12 ISBN: 1420068415

  • ソフトウェアエンジニアリング最前線 2009

    鵜林尚靖, 岸知二

    近代科学社  2009 ISBN: 9784764903715

  • IT Text組み込みシステム

    阪田史郎, 高田広章編著, 岸知二担当, 組み込みソフトウェアの開発技法の

    オーム社  2007

  • 情報システムのための情報技術辞典

    情報システムと情報技術事典編集委員会編, 岸知二担当, ソフトウエアアーキテクチャの項

    培風館  2006

  • ソフトウェアアーキテクチャ

    岸知二, 野田夏子, 深澤良彰

    共立出版  2005

  • UML仕様書

    OMG Japan, SIG翻訳委員会U, 作業部会

    アスキー  2001

  • ソフトウェアパターン, bit別冊 (担当 ソフトウェアアーキテクチャの章)

    中谷多哉子, 青山幹雄, 佐藤啓太編集, 岸知二, ソフトウェアアーキテクチャの章

    共立出版  1999

  • オブジェクト指向最前線'97 情報処理学会OO'97 シンポジウム

    岸知二, 中所武共編

    朝倉書店  1997

  • オブジェクト指向分析・設計 (担当 リアルタイムシステムの章)

    本位田真一, 青山幹雄, 深澤良彰, 中谷多哉子編集, 岸知二, リアルタイムシステムの章

    共立出版  1995

  • オブジェクト分析と設計 オブジェクト指向21手法の解説と徹底比較


    トッパン  1995

▼display all



  • IPSJ/ITSCJ Standardization Contribution Award


  • IPSJ/ITSCJ Project Editor Award


  • IPSJ/ITSCJ Project Editor Award


  • 情報処理学会 学会活動貢献賞


  • IPA/SEC, SEC Journal 最優秀論文賞


  • 情報処理学会 山下記念研究賞


▼display all

Research Projects

  • 可変性マイニングによる有用性優先の可変性管理手法の研究

    Project Year :


     View Summary


  • On Utility-First Modeling Method

    Project Year :


  • Research on Super-flexible Software Architecture Modelling Mechanism for Agile Development

    Project Year :


     View Summary

    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 changes on specification and/or environments are needed.After surveys on the relationship between agile development and software architecture, we confirmed that aspect-oriented technologies are effective to make software architecture flexible. Based on this confirmation and knowledge, we developed an aspect-oriented modeling mechanism for software architecture. We confirmed its effectiveness in some cases of product line architecture developments

  • On Approximate Configuration Management Method for Inconsistent Software Models

    Project Year :


     View Summary

    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 research, we examine product derivations in software product lines development, and propose an approximate configuration management method considering such inconsistencies. We also observe that deriving smaller size of configurations is beneficial, and propose a method to derive smaller size of configurations at lower cost. We evaluate the method in terms of simulations

  • Studies on an Approximate Modeling Technique for Scalable Software Modeling

    Project Year :


     View Summary

    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 consistency among models approximately. Though this technique reduces the modeling cost, we need to complement information in the later phases. Hence, we also propose a technique to estimate parts of models at which application of approximate modeling technique yields less penalty utilizing metrics on the modeling architecture

  • Aspect-Oriented Modeling for Design and Verification Modeling

     View Summary

    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 relations, we have developed two aspect-oriented modeling mechanisms one is scenario based and the other is state transition based. We also developed assumption model that is used as a reference model for developing verification model

▼display all


  • A Prioritization Method for SPL Pairwise Testing utilizing Feature Selection Probabilities

    Tomoji Kishi

    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019) 

    Presentation date: 2019.10

Specific Research

  • ソフトウェア開発における形式的手法とデータ指向技術の融合


     View Summary




▼display all