Program design by informal English descriptions
- 1 November 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 26 (11) , 882-894
- https://doi.org/10.1145/182.358441
Abstract
A technique is presented for developing programs from informal bat precise English descriptions. The technique shows how to derive data types from common nouns, variables from direct references, operators from verbs and attribates, and control structures from their English equivalents. The primary contribation is the proposed relationships between common nouns and data types; the others follow directly. Ada is used as the target programming language because it has useful program design constructs.Keywords
This publication has 5 references indexed in Scilit:
- Abstract data types and software validationCommunications of the ACM, 1978
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- The humble programmerCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969