ドキュメンテーションを参照するソフトウェア開発・保守支援の一方法 : 第1報,支援ツールの基本概念とそのエキスパートシステムによる論理的矛盾検出方法

概要

論文の詳細を見る
A basic concept of a software support tool for the production, maintenance and updating is presented employing a structure of the expert system interacting with both software and documentation. This support tool can include knowledge bases, data bases of target softwares, and also other related knowledge bases. As a first step toward this direction, a small sized support tool for software development has been developed by introducing software grammers, syntactics and semantics in a small world as rules and documents analizer. Three types of the contradiction detection method are incorporated in this system so as to detect contradictions in documentations and an additionally inserted knowledge in the expert system itself, based on the semantics and the knowleges, which are applicable for many expert systems. This system has two types of checking methods, such as a software based checking and a documentation based checking, depending upon the applications. Some experiments of the system have been carried out as a man-machine interface.
一般社団法人日本機械学会の論文
1986-05-25