Towards a Formalism to Produce a Programmer Assistant CASE Tool

Authors:
D. E. Cooke
Affiliations:
-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1990

Citing 10
Cited 0

An Overview of Some Formal Methods for Program Design

Computer
Automatic Programming: Myths and Prospects

Computer
A comparison of techniques for the specification of external system behavior

Communications of the ACM
Program Transformation Systems

ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
The Craft of Programming

The Craft of Programming
A Computer-Aided Prototyping System

IEEE Software
Third-Generation Versus Fourth-Generation Software Development

IEEE Software
Building Application Generators

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

A weak specification method important to the area of computer-aided software engineering (CASE) is introduced. The specification language introduced does not require the specification of control flow information. When given a specification consisting of a formula characterizing input constraints of a function and a formula characterizing output constraints, it is possible to synthesize program functions. The synthesis algorithm is guaranteed to find all functions which satisfy the specification. It is shown that when the algorithm is applied to the specifications, it is capable of producing all program structures, including sequences, selections, and iterations. Therefore, the methodology provides for a formal foundation upon which a CASE programmer assistant tool can be built.