本研究においては、以下の2点に注力した。

（１）演繹的なプログラムの中に機械学習を用いた帰納的ロジックが含まれているようなソフトウェアの開発・保守に対して、信頼性という視点から有効な技術を追求すること

（２）ソフトウェア開発者に対して、演繹的な部分に対する技術、帰納的な部分に対する技術という差別化をしないですむような統一的なソフトウェア開発支援環境を提供すること

本研究を進めるにあたって、まず、信頼性を中心として、ソフトウェアの各種の特性ついて、定義を行った。続いて、対象とするソフトウェアのアーキテクチャを定めた。このためには、演繹的な部分に対するソフトウェア開発支援法、帰納的な部分に対するソフトウェア工学開発支援法、および、これらを組み合わせるためのアーキテクチャが必要となる。できるだけ汎用的なアプローチを実現するために、対象とするソフトウェアとして汎用のアーキテクチャを前提とし、その開発を支援するソフトウェアを開発した。