Title :
Using expert systems to construct formal specifications
Author :
Blackburn, Mark R.
Author_Institution :
Allied-Signal Inc., Ft. Lauderdale, FL, USA
Abstract :
A project is described that is intended to formalize the software requirement specification process by defining a specification model that characterizes the generic properties of a specification. An approach is presented in which the expert system that assists in specifying requirements is integrated with a transformational system that can synthesize programs from such specifications. The specification model provides the basis for such an expert system. An example illustrates the system´s functionally.<>
Keywords :
expert systems; software engineering; expert systems; formal specifications; generic properties; software requirement specification process; specification model; transformational system; Algorithm design and analysis; Expert systems; Formal specifications; Humans; Logic; Program processors; Programming; Software design; Software engineering; Variable speed drives;
Journal_Title :
IEEE Expert
