Extensive research is demanded to solve these problems , and a large portion of that research is already under way. Research activities extend to sensor research, software engineering, theoretical /analytical studies , robot demonstrations , and so on . This paper reports on two efforts, both representative of computer methods studies , which have been directed at the two problem areas noted ab...

A goal of this project is reproducing human design process by accumulating knowledge and experience of human designers. Particularly, this paper presents an SDL-based software design tool, the experimental expert system CREATOR2, featuring: 1) integration of SDL-based CASE tools with knowledge-based reasoning techniques; 2) object-oriented (O-O) representation of the design process knowledge, c...

Methods and tools for the static and dynamic verification and validation of software systems are commonplace in the field of software engineering. In the field of expert systems, where it is more difficult to ensure that a system meets the specifications and expectations than in traditional software engineering, such tools are generally not available. In this paper, the need for more support of...

Calibration, has been .found to be difficult in practice. Wide experience in using the estimation model is necessary; experience which the beginner naturally lacks. This paper indicates why it is important to calibrate a model and how the inexperienced user can be helped by an expert system. In addition, the development of, and experience with, the prototype of an expert system are described. T...

EC directive 2001/93/EC states that pigs must have permanent access to a sufficient quantity of material to enable proper investigation and manipulation activities. This directive requires further interpretation. In order to facilitate the further implementation of the directive into national, Dutch legislation a preliminary model was constructed to assess the value of different enrichment mate...

We have adapted an expert system of medical diagnosis for use by low to mid-level health workers in remote and rural locations. Key to the successful deployment of this expert system is the rapid adaptation of the database and clinical interface for use in specific regions and by varying user

Celite Corporation and Andersen Consulting have developed an advanced approach to traditional software development entitled the Application Software Factory (ASF). The approach is an integration of technology and Total Quality Management techniques which includes the use of an expert system to guide module design and perform module programming. The expert system component is called the Knowledg...

Expert systems development is a complex and expensive process that needs to be applied in an organized manner. Building expert systems has been seen as a modeling activity. The aim of this research is to present an approach for building generic diagnosis model in the agricultural domain. This generic model has the ability to derive diagnoses for differently structured individual systems from th...

In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities. We then focus on two applications of abduction in software engineering, namely, analysis and revision...