Using expert systems to construct formal specifications

1 January 1989

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Expert

Vol. 4 (1) , 62-74
https://doi.org/10.1109/64.21901

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

This publication has 3 references indexed in Scilit:

Object-oriented development
IEEE Transactions on Software Engineering, 1986
Program Transformation Systems
ACM Computing Surveys, 1983
An axiomatic basis for computer programming
Communications of the ACM, 1969