Using Expert Systems to Construct Formal Specifications

Authors:
Mark R. Blackburn
Affiliations:
-
Venue:
IEEE Expert: Intelligent Systems and Their Applications
Year:
1989

Citing 5
Cited 4

Object-oriented development

IEEE Transactions on Software Engineering
Program Transformation Systems

ACM Computing Surveys (CSUR)
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
Automated software development methodology (asdm): an architecture of a knowledge-based expert system

Automated software development methodology (asdm): an architecture of a knowledge-based expert system

The expert system life cycle: what have we learned from software engineering?

SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Dynamic adaptation of real-time software

ACM Transactions on Computer Systems (TOCS)
OBSERV—a prototyping language and environment

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic generation of design search keywords from software specifications to improve design search results

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

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.