Updated on 2024/12/21

写真a

 
KISHI, Tomoji
 
Affiliation
Faculty of Science and Engineering, School of Creative Science and Engineering
Job title
Professor
Degree
博士(情報科学) ( 北陸先端科学技術大学院大学 )
Homepage URL
http://www.kishi.mgmt.waseda.ac.jp/index.html

Research Experience

  • 2009
    -
    　

    Waseda University   Faculty of Science and Engineering

  • 2003
    -
    2009

    Japan Advanced Institute of Science and Technology

  • 1982
    -
    2003

    NEC Corporation

Education Background

  • 　
    -
    2002

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

  • 　
    -
    1982

    Kyoto university   Graduate School, Division of Engineering  

Professional Memberships

  • 　
    　
    　

    日本経営工学会

  • 　
    　
    　

    Japan Society for Software Science and Technology

  • 　
    　
    　

    IEEE Computer Society

  • 　
    　
    　

    ACM

  • 　
    　
    　

    情報処理学会

Research Areas

  • Software

Research Interests

  • Software Engineering

Awards

  • ITS Standardization Activity Merit Prize

    2022.09   Society of Automotive Engineers of Japan, Inc.  

  • IPSJ/ITSCJ Standardization Contribution Award

    2017.05  

  • IPSJ/ITSCJ Project Editor Award

    2016.01  

  • IPSJ/ITSCJ Project Editor Award

    2013.11  

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

    2010.03  

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

    2007  

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

    1998  

▼display all

 

Papers

  • Large Class Detection Using GNNs: A Graph Based Deep Learning Approach Utilizing Three Typical GNN Model Architectures

    HanYu ZHANG, Tomoji KISHI

    IEICE Transactions on Information and Systems   E107 ( D(9) ) 1140 - 1150  2024.09  [Refereed]

    Authorship：Last author

    DOI

    Scopus

  • 機械学習支援による形式検証についての考察

    岸知二

    ソフトウェア工学研究会研究会報告   2024-SE-217 ( no.4 ) 1 - 7  2024.07

    Authorship：Lead author

  • 可変性モデル分割手法の改善

    岸知二

    信学技報   123 ( 443 ) 120 - 125  2024.03

    Authorship：Lead author

  • セキュリティパターンを活用したセキュアなIoTシステムの設計方法の提案

    森優津希, 岸知二

    信学技報   123 ( 352 ) 55 - 60  2024.01

    Authorship：Last author

  • Family-based Model Checking using Probabilistic Model Checker PRISM

    Tomoji Kishi

    Proceedings of the 30th Asia-Pacific Software Engineering Conference (APSEC 2023)     376 - 385  2023.12  [Refereed]

    Authorship：Lead author

    DOI

    Scopus

  • コードの臭い検知の機械学習手法における中間表現を用いた学習手法の改善

    平原理彩, 岸知二

    信学技報   123 ( 352 ) 79 - 84  2023.11

    Authorship：Last author

  • スケーラビリティ改善のための可変性モデル分割について

    岸知二

    信学技報   123 ( 270 ) 31 - 36  2023.11

    Authorship：Lead author

  • 検証パターンに注目した機械学習に基づくモデル検査手法の評価

    張趙群, 岸知二

    情報処理学会第85回全国大会予稿集   2023 ( 1 ) 1-217 - 1-218  2023.03

    Authorship：Last author

  • ソフトウェア検証のための可変性マイニング手法

    李健翔, 岸知二

    情報処理学会第85回全国大会予稿集   2023 ( 1 ) 1-209 - 1-210  2023.03

    Authorship：Last author

  • 確率的モデル検査器を用いたファミリーベースモデル検査についての考察

    岸知二

    電子情報通信学会 知能ソフトウェア工学研究会 予稿集   122 ( 444 ) 61 - 66  2023.03

    Authorship：Lead author

  • GraphCodeBERTを用いたソースコードの不具合予測手法の提案

    齋藤優, 岸知二

    信学技報   123 ( 352 ) 73 - 78  2023.01

    Authorship：Last author

  • Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.

    Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi

    CoRR   abs/2310.00973  2023

    DOI

  • 検証パターンに注目した機械学習に基づくモデル検査手法の評価

    張超群, 岸知二

    ソフトウェア工学の基礎 ２９ 日本ソフトウェア科学会ソフトウェア工学の基礎研究会ＦＯＳＥ２０２２ （レクチャーノート／ソフトウェア学）   22   79 - 84  2022.11  [Refereed]

    Authorship：Last author

  • Long Method Detection using Graph Convolutional Networks

    Hanyu Zhang, Tomoji Kishi

      2022   99 - 107  2022.09  [Refereed]

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

    内藤 裕暉, 岸 知二

    情報処理学会ソフトウェア工学研究会   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 ( 2021 ) 42 - 49  2022.01  [Refereed]

    Authorship：Lead author

    CiNii

  • 可変性マイニングによる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]

    DOI

    Scopus

    1
    Citation
    (Scopus)

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

    DOI

    Scopus

    10
    Citation
    (Scopus)

  • 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

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

    SHICHONG YUAN, 岸知二

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

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

    岸知二, 野田夏子

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

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

    岸 知二, 野田 夏子

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

  • Combined model checking and testing create confidence-a case on commercial automotive operating system

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

    Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings     109 - 132  2017.05

    　View Summary

    The safety and reliability of automotive systems are becoming a big concern in our daily life. Recently, a functional safety standard which specializes in automotive systems has been proposed by the ISO. In addition, electrical throttle systems have been inspected by NHTSA and NASA due to the unintended acceleration problems of Toyota's cars. In light of such recent circumstances, we are researching practical applications of formal methods to ensure the high quality of automotive operating systems. An operating system which we focus on is the one conforming to the OSEK/VDX standard. This chapter shows a case study where model checking is applied to a commercial automotive operating system. In this case study, the model checking is combined with testing in order to efficiently and effectively verify the operating system. As a result, we gained the confidence that the quality of the operating system is very high.

    DOI

    Scopus

    2
    Citation
    (Scopus)

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

    櫻井佳樹, 岸知二

    情報処理学会第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

    CiNii

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

    DOI

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

    CiNii

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

    CiNii

  • 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

    CiNii

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

    CiNii

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

    川島優樹, 岸知二

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

    CiNii

  • アスペクト指向技術に基づいた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

    NAGANO HIROMARU, KISHI TOMOJI

    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.

    CiNii

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

    CiNii

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

    KISHI TOMOJI, ISHIDA YUZO, SAKATA YUJI, TSUNEO NAKANISHI, NODA NATSUKO, NONAKA MAKOTO, HAYASHI YOSHIKAZU, HISAZUMI KENJI, YAMAUCHI KAZUYUKI, YOSHIMURA KENTAROU, WASHIZAKI HIRONORI

    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.

    CiNii

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

    野田夏子, 岸知二

    コンピュータソフトウェア   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.

    DOI

    Scopus

    1
    Citation
    (Scopus)

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

    DOI

    Scopus

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

    KISHI Tomoji

      2010 ( 9 ) 1 - 6  2010.05

    CiNii

  • 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)     169 - 177  2009.10

    CiNii

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

    岸知二

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

  • Detecting and Analyzing State Inconsistencies in Multi-task Software

    Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi

    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING     326 - +  2009  [Refereed]

    　View Summary

    In this paper, we first reveal an important problem called a state inconsistency problem among tasks based on a design model of a CD/DVD systems. This problem is not only of CD/DVD systems but also of typical embedded software because it may occur in atypical structure that such software has. Thus, we propose a method to detect the problem in the design model with a model checking tool and to derive behavior in which it does not occur.

    DOI

    Scopus

  • 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).

    DOI

    Scopus

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

    岸知二

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

    CiNii

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

    岸知二

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

    CiNii

  • 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

    SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS     213 - 222  2008  [Refereed]

    　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

    14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS     342 - +  2007  [Refereed]

    　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.

    DOI

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

    DOI

    Scopus

    26
    Citation
    (Scopus)

  • 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

    CiNii

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

    金井勇人, 岸 知二

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

    CiNii

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

    DOI

    Scopus

    3
    Citation
    (Scopus)

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

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

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

    CiNii

  • 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

    SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS     144 - 148  2004  [Refereed]

    　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

    CiNii

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

    岸知二, 野田夏子

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

    CiNii

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

    池田健次郎, 岸知二

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

    CiNii

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

    DOI

    Scopus

    8
    Citation
    (Scopus)

  • 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

    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS     111 - 118  2001  [Refereed]

    　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.

    DOI

    Scopus

    13
    Citation
    (Scopus)

  • 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

    CiNii

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

    野田夏子, 岸知二

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

    CiNii

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

    岸知二, 野田夏子

    日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ 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

  • APPLYING THE OBJECT-ORIENTED METHOD FOR ITS SYSTEM ARCHITECTURE DEVELOPMENT

    Yoshihiro Matsunaga, Tomoji Kishi

    Proceedings of th 5th World Congress on ITS    1998

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

    野田夏子, 岸知二

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

    CiNii

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

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

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

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

    元木誠, 川口晃, 岸知二

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

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

    岸知二

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

    CiNii

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

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

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

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

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

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

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

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

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

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

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

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

    CiNii

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

    岸知二

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

    CiNii

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

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

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

    CiNii

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

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

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

    CiNii

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

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

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

    CiNii

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

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

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

    CiNii

▼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

Presentations

  • 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

Research Projects

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

    Project Year :

    2020.04
    -
    2023.03
     

    　View Summary

    本研究は，「可変性マイニング」によってシステムの利用傾向を調べ，潜在的には膨大にある使われ方の中から，実際によく使われる可変性の組み合わせを特定する手法を提案する。システム構成や操作手順などのバリエーションなどに関わる可変性は，その組み合わせが天文学的であるために，従来的な論理に頼った手法はスケーラビリティに限界がある。そこで利用データから可変性に関わる情報を論理的制約や確率情報として抽出（マイニング）し、そこから判断される利用傾向に関わる部分を優先的に扱う有用性優先の可変性管理手法を提案する。これにより組み込みシステム，IoTシステムなどのテストの効率化などを行うことが期待される

  • On Utility-First Modeling Method

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2017.04
    -
    2020.03
     

    Kishi Tomoji

    　View Summary

    The size and complexity of software models become larger and also they are constantly changing. Thereby, it becomes more difficult to make the software model high-quality finish form. In this research, we propose a method to identify parts of software model that are expected to be more “useful” in terms of actual use. Concretely speaking, we focus on feature model that are used in SPL (software product-line) development and prioritize feature configurations in terms of useful-ness. In the method, we determine decision making probabilities based on user-profile, and calculate probabilities of obtaining feature pairs, and then determine the useful-ness of feature configurations. We evaluate the method in terms of simulations.

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

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2015.04
    -
    2018.03
     

    Noda Natsuko, KISHI Tomoji

    　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

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2014.04
    -
    2017.03
     

    Kishi Tomoji

    　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

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2011.04
    -
    2014.03
     

    KISHI TOMOJI

    　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

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2008
    -
    2010
     

    KISHI Tomoji

    　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

Misc

  • Frontiers of Software Engineering - The Era of Software-Defined Everything -：6. Software Modeling in Software-Defined Society

      58 ( 8 ) 690 - 692  2017.07

    CiNii

  • 近似化によるフィーチャモデルからの製品導出手法 (知能ソフトウェア工学)

    岸 知二, 野田 夏子

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 493 ) 13 - 18  2017.03

    CiNii

  • 21st International Systems&Software Product Line Conference参加報告

    野田夏子, 小川秀人, 岸知二, 古畑慶次, 中西恒夫, 西浦洋一, 林健吾

    情報処理学会研究報告(Web)   2017 ( SE-197 )  2017

    J-GLOBAL

  • プロダクトライン開発を想定したアスペクト指向モデリング手法の研究

    野田 夏子, 岸 知二

    特別教育・研究報告集     226 - 229  2014

    CiNii

  • The technique for extracting abstract user interface information from the source code

    INOUE NAOKI, KISHI TOMOJI

    Technical report of IEICE. SS   112 ( 275 ) 175 - 182  2012.10

    　View Summary

    Recently, Multi Front-end engineering of GUI applications has been attracting attention by MDA. But, if you want to port the existing application that exist only source code to other front-end, you must obtain the abstract UI design by the reverse modeling. Then, this paper propose the technique for extraction abstract user interface model from the web application's source code by taking advantage of the text information around the UI element.

    CiNii

  • Proposal Development of Model Transformation Techniques that takes into account the Metamodel Evolution

    GONDO AKINORI, KISHI TOMOJI

    Technical report of IEICE. SS   112 ( 275 ) 183 - 190  2012.10

    　View Summary

    In recent years, MDA (Model Driven Architecture) is increasing paid attention due to the expectation of reuse of software assets. To define the meta-model as needed in MDA. As metamodel is the definition of the rules and restrictions of the model, it plays an essential role in MDA. Similar to the ordinal software artifact, meta-model could evolve during the software life-cycle. As a result, there is a need to evolve in order to maintain the i consistency among metamodel and elements relatred to metamodel (Model that conforms to the meta-model and model transformation to target metamodel). In this paper, we propose a model transformation development technique that makes it possible to automatically coevolution elements related to metamodel, especially model transformation.

    CiNii

  • プロダクトライン開発への漸次的移行のための資産管理方式

    野田夏子, 岸知二

    全国大会講演論文集   2012 ( 1 ) 295 - 297  2012.03

    　View Summary

    効率的にシステムを開発するために、戦略的、体系的な再利用技術に基づくプロダクトライン開発が注目を集めており、その実践にあたっては対象とする製品群の共通性と可変性を踏まえた再利用資産(コア資産)の効果的な管理がひとつの重要な柱となっている。しかしながら、従来の開発スタイルからプロダクトライン開発へと移行する際には、既存の開発物をいきなりコア資産化することは困難であり、それがプロダクトライン開発への移行を妨げる一因となってきた。我々は、プロダクトライン開発への漸次的な移行を支援するフレームワークを検討しており、本稿では特にコア資産管理に焦点をあて、漸次的移行を支援する資産管理手法について提案する。

    CiNii

  • Report of SPLC2011

      2011 ( 11 ) 1 - 8  2011.10

    CiNii

  • Implementation of Development Method with Two Layer Feature Model

    HOSOAI SHINTARO, KISHI TOMOJI

      2008 ( 116 ) 29 - 36  2008.11

    　View Summary

    In order to facilitate the development of embedded software, we have proposed "Multi Layer Feature Model for Embedded Software Product Line" and "Model Driven Architecture Including Model of Hardware Information". In this paper, we examine the integration of these two approaches, and also outline the implementation of support environment of that.

    CiNii

  • Development of Advanced Development of Fundamental Software through Tight Collaboration of Academia and Industry:Advanced Software Technologies for Highly Reliable Embedded System

    KATAYAMA Takuya, KISHI Tomoji, NAKAJIMA Tatsuo, YUASA Taiichi

    IPSJ Magazine   49 ( 11 ) 1233 - 1239  2008.11

    CiNii

  • Aspect-Oriended Method to Change Mechanisms for Model Checking

    KANAI HAYATO, KISHI TOMOJI

    IPSJ SIG Notes   2008 ( 93 ) 49 - 56  2008.09

    　View Summary

    In this paper, we propose method to systematically change mechanisms for UML software design verification utilizing model checking techniques. We are heavy in verifying changing verification model at many a time. In particular, it is important that systematically changing crosscut points. We introduce that systematic changing aspect template for embedded software.

    CiNii

  • Aspect oriented model description environment for model checking

    OHNO SHINICHIRO, KISHI TOMOJI

    IPSJ SIG Notes   2008 ( 29 ) 41 - 48  2008.03

    　View Summary

    In this paper, we propose an aspect oriented language and language processing system, called Weaver, for Spin model checker. As verification model is defined depending on verification purpose, we have to re-write the model if we change the verification purpose. Utilizing our language, we can encapsulate these changes apart from the verification model, and effectively develop verification model.

    CiNii

  • UML design verification using model checking techniques

    KISHI Tomoji, NODA Nattsuko

      70   315 - 316  2008.03

    CiNii

  • Verification Patterns for Model Checking Software Design

      70   319 - 320  2008.03

    CiNii

  • Design verification of embedded software based on model checking techniques: application and discussions

    SEC journal   3 ( 4 ) 10 - 19  2008.01

    CiNii

  • モデル検査技術を活用したソフトウェア設計 検証手法に関する考察(モデル表記 モデル検査)

    岸知二

    情報処理学会研究報告. ソフトウェア工学研究会報告   2008 ( 55 ) 95 - 100  2008

    CiNii

  • Report on the 11th International Software Product Line Conference (SPLC2007)

    KISHI TOMOJI, NONAKA MAKOTO, AOKI TOSHIAKI, YOSHIMURA KENTAROU, NODA NATSUKO

    IPSJ SIG Notes   2007 ( 107 ) 63 - 68  2007.11

    　View Summary

    This paper reports the 11th International Software Product Line Conference (SPLC2007), held in September 2007 in Kyoto. There were variety of presentations from basic researches to applications and experiences, and the conference provided practitioners and researchers a good opportunity to discuss together.

    CiNii

  • Model Driven Architecture Including Model of Hardware Information

    HOSOAI SHINTARO, KISHI TOMOJI

      2007 ( 52 ) 33 - 40  2007.05

    　View Summary

    In this paper, we propose MDA (Model Driven Architecture) was added modeled hardware information. MDA proposed by OMG is development technique that centers on model. MDA begins to be applied to the development of embedded system. However, Many tools of MDA not correspond to various platform of embedded system. The cooperation of hardware and software is indispensable in development of embedded system. The cooperation of hardware and software is indispensable in development of embedded system, and the information by used mutually. But, many information for development of embedded system is not useful. We modeled the scattered information in development of embedded system, and applied to MDA. Thereby, this information of hardware can use to information of platform in MDA, and it had made property.

    CiNii

  • プローブ情報システムのアーキテクチャに関する調査研究--アーキテクチャ観点からの標準化戦略の検討 (特集 ITS) -- (研究活動紹介 標準化に関する研究)

    岸 知二, 野田 夏子

    自動車研究   28 ( 9 ) 505 - 509  2006.09

    CiNii

  • Verification pattern for UML design utilizing model checking techniques

    KANAI HAYATO, KISHI TOMOJI

    IPSJ SIG Notes   2006 ( 48 ) 17 - 24  2006.05

    　View Summary

    In this paper, we propose verification pattern for UML design verification utilizing model checking techniques. In verifying UML model, we have to develop target model and define properties depending on the target model. Furthermore, typical software structures have their own listing of important properties. Hence, it is useful to define verification patterns as a set of software structures, their important properties, and verification techniques. We introduce verification pattern based on the idea, and demonstrate its usefulness based on a case study.

    CiNii

  • Highly Reliable Embedded Software Development- Cutting Edge and Case Studies - : UML Design Verification based on Model Checking Techniques

    KISHI Tomoji

    IPSJ Magazine   47 ( 5 ) 498 - 505  2006.05

    CiNii

  • Architectural Design Verification utilizing Model Checking Techniques

    KISHI TOMOJI, NODA NATSUKO

    IPSJ SIG Notes   2005 ( 119 ) 9 - 16  2005.11

    　View Summary

    In applying model checking techniques to software architectural design verification, there occur some problems, such as mismatch between design model and verification model in its strictness and preciseness. In this paper, we propose a method for applying model checking techniques to architectural design verification. in which we based on results from software architecture field. We also introduce a case study, in which we apply the method to actual embedded software design verification.

    CiNii

  • A Proposal of Aspect - Oriented Design Model

    NODA NATSUKO, KISHI TOMOJI

    IPSJ SIG Notes   2004 ( 118 ) 41 - 46  2004.11

    　View Summary

    Aspect-oriented software development (AOSD) is now getting to be applied, in which we use aspect as a new mechanism to modularize various concerns. We are examining to apply aspect-orientation to software design. In this paper, we introduce an aspect-oriented design model, by which we describe the target system in terms of separated aspects. We also define the relationships among aspects by means of rules, that makes each aspect highly independent from other apsects, and also makes it possible to "weave" aspects into one thereby we can design whole system behavior.

    CiNii

  • Project Report : Highly -Reliable Object- Oriented Embedded Software Design

    KISHI TOMOJI, AOKI TOSIHAKI, NAKAJIMA SHIN, NODA NATSUKO, KATAYAMA TAKUYA

    IPSJ SIG Notes   2004 ( 118 ) 47 - 54  2004.11

    　View Summary

    The highly-reliable object-oriented embedded software design project is an industryuniversity joint research project launched in 2003. The target of this five-year project is to develop the method and environment for highly-reliable embedded software development for civilian industry such as automobile, communication, control and consumer-electronics fields. In this paper, we introduce the objective and approach of the project. We also introduce some of our activities, in which we apply model checking techniques to design testing, and examine the reuse of verification scheme throughout product-line development.

    CiNii

  • On Variability Management in Product - line Development

    KISHI TOMOJI, NODA NATSUKO

    IPSJ SIG Notes   2002 ( 92 ) 1 - 6  2002.10

    　View Summary

    In product-line development, it is important to manage variability. In this paper, we categorize the causes of variability in embedded field and examine the techniques to manage them, We make a case study to demonstrate how the techniques influence the characteristics of variability management.

    CiNii

  • A Method for Product - line Scoping

    KISHI TOMOJI, NODA NATSUKO, KATAYAMA TAKUYA

    IPSJ SIG Notes   2002 ( 64 ) 113 - 120  2002.07

    　View Summary

    In order to develop a prduct-line effectively. it is desired to design the product-line architecture for products in the product-line, and develop reusabic assets based on the architecture. In such a product-line development, it is important to determine the scope of product-line; namely determine the membership of the product-line. In product-line scoping. we have to examine the scope from two aspects: One is from the whole optimal such as total development cost and reuse ratio. The other is from the individual optimal such as quality attributes of each product. In this paper. we propose a method for product-line scoping. in which we utilize a decision-making method, and examine the scope from above mentioned two aspects.

    CiNii

  • about Evaluation Methods of Software Architecture

    NODA NATSUKO, KISHI TOMOJI

    IPSJ SIG Notes   2002 ( 64 ) 121 - 128  2002.07

    　View Summary

    The importance of software architecture is now widely realized. From this reason, as well as the research of software architecture is becoming active, the utilization of software architecture in the real developments is also increasing. To make good use of the software architecture, it is very important to evalute the software architecture. And we definitely need systematic methods of the architecture evaluation. In this paper, we survey some important techniques used for the architecture evaluation, and introduce some architecture evaluation methods that are currently known.

    CiNii

  • ITSシステムアーキテクチャの活用 (ITS特集) -- (ITS基盤システム構築のために)

    岸 知二

    NEC技報   54 ( 7 ) 7 - 10  2001.07

    CiNii

  • Aspect - Oriented Analysis for Software Architecture

    KISHI Tomoji

    IPSJ SIG Notes   2001 ( 56 ) 57 - 64  2001.06

    　View Summary

    It is expected that software architecture remains steady throughout its evolution or development of product-lines. In order to design software architecture to have the characteristics, it is important to capture the commonality and differences between 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.

    CiNii

  • On Software Architecture -Architectural Selection based on AHP-

    KISHI Tomoji

    IPSJ SIG Notes   2001 ( 31 ) 101 - 108  2001.03

    　View Summary

    In architectural design, we have to made architectural decision comparing architectural candidates based on multiple evaluation criteria. However, it is difficult to make decision based on different evaluation criteria. Considering the importance of architectural design, it is useful to adopt systematic method to make architectural design and make the reason of decision making explicit. In this paper, we have picked up one of the methods for decision-making, AHP (Analytic Hierarchy Process), and examine the adoptability of the method to the architectural selection.

    CiNii

  • ソフトウェアアーキテクチャ (特集 ソフトウェア工学の新しい流れ)

    岸 知二

    Bit   32 ( 3 ) 8 - 12  2000.03

    CiNii

  • On Aspect Oriented Design -Basic Idea-

    NODA Natsuko, KISHI Tomoji

    IPSJ SIG Notes   1999 ( 37 ) 35 - 42  1999.05

    　View Summary

    It is difficult to design software to meat its goal on quality attributes. One of the typical methods is to analyze/design software from functional aspect first, and then to modify or tune up the structure in order to meet required quality attributes. However, this type of design methods has some drawbacks and makes the design work more difficult. We are examining the design method of Aspect Oriented Design (AOD), in which we separately design software architectures from each aspect of quality attribute and weave those architectures into final architectute. Though AOD is under consideration, in this paper, we introduce an example of a design process of AOD, in order to discuss validity of the approach.

    CiNii

  • Current Importance of Software Architectures

    KISHI Tomoji, TOMOEDA Atsushi, KISHI Tomoji

    IPSJ Magazine   39 ( 10 ) 1016 - 1019  1998.10

    CiNii

  • An Approach to Performance Issues based on Software Architecture

    NODA Natsuko, KISHI Tomoji

    IPSJ SIG Notes   1998 ( 64 ) 109 - 116  1998.07

    　View Summary

    Non-functional properties such as performance or reliability are determined by many factors, and we can hardly understand the relationships between these factors and the properties. Instead of completely understand the nature of non-functional properties, we are examing the design mathod for finding out "safer" way to attain required non-functional properties, based on partial knowledge about the non-functional properties of components. For that purpose, we introduce, in this paper, collaboration/dependency graph, which represents the dependency between components, and explain how we find more suitable chunk of components to catch properties fo whole software using this graph.

    CiNii

  • 組込みシステムのためのオブジェクト指向設計手法--コ-ドレスホンシステムへの適用例

    川口 晃, 岸 知二

    NEC技報   50 ( 12 ) 28 - 34  1997.12

    CiNii

  • Design Methodology for Embedded Systems Software -Focusing on Object-Oriented Design Approach-

      38 ( 10 )  1997.10

    CiNii

  • Mini Tutorial Why Software Architecture is being paid attention now?

    KISHI Tomoji, NODA Natsuko

    IPSJ SIG Notes   1997 ( 74 ) 81 - 84  1997.07

    　View Summary

    In this paper, we will show the definition and the significance of software architecture, and argue why software architecture is widely noticed now.

    CiNii

  • On Design Method based on Architectural Pattern

    KISHI Tomoji

    SIGSE   1997 ( 74 ) 87 - 94  1997.07

    　View Summary

    It is important and difficult to construct proper software architecture. In this paper, we propose design method based on architectural pattern. In the method, we extract important structure in analysis model as pattern. Then we attach some parameter to the pattern to express nonfunctional requirements to the system. Based on these parameterized pattern, we decide the implementation of the patterns and construct overall software architecture.

    CiNii

  • ITSシステムア-キテクチャ (ITS (高度道路交通システム)特集)

    岸 知二

    NEC技報   50 ( 7 ) 18 - 22  1997.07

    CiNii

  • Architecture-Oriented Development Approach for Embedded System Software

      52   81 - 82  1996.03

    CiNii

  • Design Method of Collective Behavior for Distributed System

      52   89 - 90  1996.03

    CiNii

  • オブジェクト指向設計を支援する設計モデルからのコード生成機能

    野田夏子, 岸知二, 前川佳春, 山之内徹

    情報処理学会研究報告ソフトウェア工学（SE）   1996 ( 6 ) 49 - 56  1996.01

    　View Summary

    ソフトウェア開発においては，ソフトウェアアーキテクチャの決定が重要である．我々は，早期に実環境で動作させてこの決定の妥当性を確認することができるように，部品を利用して実装メカニズムとの対応付けを表現した設計モデルから実行可能なコードを生成する技術を検討している．実装メカニズムとの対応付けは，環境，資源，ドメイン等により変化するものであるから，このコード生成においては用いる部品や部品の展開方法をカスタマイズできなければならない．本稿では，部品の展開方法をユーザ自身が容易にカスタマイズできるコード生成方式を提案する．

    CiNii

  • Object-Oriented Development Approach : Crossover(4) : Design Model II

      50   125 - 126  1995.03

    CiNii

  • Object-Oriented Development Approach : Crossover(5) : Simulator II

      50   127 - 128  1995.03

    CiNii

  • Object-Oriented Development approach : crossover (1) : Design Model

      49   241 - 242  1994.09

    CiNii

  • Object-Oriented Development Approach : Crossover (3) : Simulator

      49   245 - 246  1994.09

    CiNii

  • Object-Oriented Development Approach : Crossover (2) : Generator

      49   243 - 244  1994.09

    CiNii

  • Modeling Control Architecture in Object - Oriented Design

      1994 ( 55 ) 121 - 128  1994.07

    CiNii

  • オブジェクト指向分析/設計環境OOSPACE (オブジェクト指向技術小特集)

    岸 知二

    NEC技報   47 ( 6 ) p25 - 29  1994.07

    CiNii

  • 統合化機構を用いた上流CASE環境実現の一方式

    池田 健次郎, 岸 知二

    全国大会講演論文集   48   161 - 162  1994.03

    　View Summary

    近年のオープン化の波にともない、単機能なツールと統合メカニズムによりサービスを提供するCASEツールが増えてきている。その様な構成にすると、ユーザの好みにあったエディタの利用といったツール単位での差し替えが可能であり、同じ記法をサポートしている別の方法論のCASEツールにおいて、 同じダイアグラム・エディタを組み合わせて使用するといったツールの組合せの変更も行なうことができる。本稿では、上流CASEを実現する際に直面した問題の解決法としてツールの作業コンテキストに着目した統合化の方式を提案し、その実現方法について報告する。

    CiNii

  • Modeling of Diagrams for Software Analisys and Design

      44   215 - 216  1992.02

    CiNii

  • CASE 環境におけるオブジェクト管理に関する考察

    岸知二

    電気 情報関連学会連合大会    1989

    CiNii

▼display all

 

Syllabus

▼display all

 

Sub-affiliation

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

Research Institute

  • 2022
    -
    2024

    Waseda Research Institute for Science and Engineering   Concurrent Researcher

Internal Special Research Projects

  • 可変性モデルのスケーラブルな解析・検証のためのモデル分割に関する研究

    2023  

    　View Summary

    　可変性モデルは複数のバリエーションを持つシステムのモデル化に使われ、命題論理に基づいてモデルの解析や検証が行われる。しかしバリエーションの数は組み合わせ的となるため膨大であり、スケーラビリティの問題が発生しやすい．応募者は、今までに確率的なメトリクスに基づいて複数のフィーチャを選択し，それらを利用して可変性モデルをより小さなバリエーション数を持つ複数のモデル群に分割する手法を提案し，複数のバリエーションの性質を一度に検証するファミリーベースモデル検査に適用してその有効性を確認した．　今回の研究では、まずこの従来手法の特性を分析した．具体的には公開されている様々な可変性モデルに対して従来手法を適用し，その分割によるバリエーション数の削減効果を確認した．その結果，従来手法は多くの場合効果的な削減ができるものの，ランダム性を含んでいるために分割効果のばらつきが大きいことがわかった．実用性の観点からはこうしたばらつきを抑えることが望ましいため，ばらつきを減らすために可変性モデルの木構造を低計算量で解析し，明らかに分割効果のないフィーチャを除外する改善手法を提案した．具体的には同値関係にあるフィーチャや排他関係にあるフィーチャを同定し，それに基づき不要なフィーチャを除外した．　改善手法は，同値関係や排他関係にあるフィーチャを含む可変性モデルに対してのみ改善効果があるが，公開されている可変性モデルを調査したところ，大半の可変性モデルがそれらを含み，平均で同値関係により約30%程度，排他関係により約8%程度のフィーチャが除外できることがわかった．評価実験によって改善手法を従来手法と比較したところ，改善手法は分割効果のばらつきを低く抑えることができより有効な分割ができることがわかった．今後は蓄積したデータに基づき分割効果の定量的な推定を行う手法の検討などを進めたい．

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

    2019  

    　View Summary

    信頼性や安全性が求められるソフトウェア開発においては，数理論理学に基づく厳密な形式手法の適用が進められ効果を上げてきた．一方，ビッグデータ解析や機械学習などのデータ指向技術が進歩しそれらのソフトウェア工学への適用も広く検討されている．それらの特徴を実証的に確認するために、類似したソフトウェアのテスト対象に、機械学習を用いたテストケースの修正、確率を用いたテストケース優先度付け、論理を用いたテストスイートの削減などを行った。基本的には論理アプローチは厳密性、データ指向アプローチはスケーラビリティという特性があるが、問題の性質に応じてその特性はかなり変動することが確認された。