By Topic

A knowledge-based system for software design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Tsai, J.J.-P. ; Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

A knowledge-based system to support software design is presented. The knowledge-based system consists of a frame-and-rule oriented requirements language (FRORL), a knowledge base, an inference engine, and a front-end dialogue system. The FRORL is developed to facilitate the documentation and analysis of a software system. The software design heuristic guidelines (e.g. stepwise refinement, functional decomposition) and the domain knowledge are encoded using Prolog and are stored in a knowledge base. An inference mechanism is implemented to interpret the FRORL specification, that uses the design expertise in the knowledge base to perform a program transformation process. The front-end dialogue system is used to obtain the environment information from users to facilitate the transformation process. The knowledge-based system is implemented in Prolog on an IBM 4341 computer. Results indicate that the system can incrementally accumulate design experience and facilitate the software design process. Examples are also given to illustrate this system

Published in:

Selected Areas in Communications, IEEE Journal on  (Volume:6 ,  Issue: 5 )