Towards a formalism to produce a programmer assistant CASE tool

Author

Cooke, D.E.

Author_Institution

Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA

Volume

2

Issue

3

fYear

1990

fDate

9/1/1990 12:00:00 AM

Firstpage

320

Lastpage

326

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

Keywords

software engineering; software tools; specification languages; formalism; input constraints; iterations; program functions; programmer assistant CASE tool; selections; sequences; specification language; weak specification method; Calculus; Computer aided software engineering; Computer languages; Computer science; Knowledge engineering; Problem-solving; Programming profession; Relational databases; Software engineering; Specification languages;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.60795

Filename

60795