The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - September (1990 vol.2)
pp: 320-326
ABSTRACT
<p>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.</p>
INDEX TERMS
formalism; programmer assistant CASE tool; weak specification method; specification language; input constraints; program functions; sequences; selections; iterations; software engineering; software tools; specification languages
CITATION
D.E. Cooke, "Towards a Formalism to Produce a Programmer Assistant CASE Tool", IEEE Transactions on Knowledge & Data Engineering, vol.2, no. 3, pp. 320-326, September 1990, doi:10.1109/69.60795
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool