Title :
An icon-based design method for Prolog
Author :
Karam, Gerald M.
Author_Institution :
Dept. of Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
fDate :
7/1/1988 12:00:00 AM
Abstract :
An icon-based design method that combines a module-oriented Prolog design model, graphical software design, and software engineering principles is presented. It is based on a dataflow-driven decomposition that is guided by design principles, followed by evaluation. Its purpose is to enable Prolog applications to be developed in accordance with the general principles of software engineering: modifiability, efficiency, reliability, and understandability. The design model and procedure are described. The design of a Lisp interpreter is considered to illustrate the method.<>
Keywords :
PROLOG; computer graphics; software engineering; user interfaces; Lisp interpreter; dataflow-driven decomposition; design principles; efficiency; graphical software design; icon-based design method; modifiability; module-oriented Prolog design model; reliability; software engineering; understandability; Application software; Artificial intelligence; Costs; Design methodology; History; Linear programming; Logic; Process design; Software design; Software engineering;
Journal_Title :
Software, IEEE
