Program Design by Informal English Descriptions

Communications of the ACM

Volumn 26, Issue 11, 1983, Pages 882-894

  Abbott, Russell J ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

Author keywords

Algorithms; Design; Lang

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0020845864     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/182.358441     Document Type: Article

References (10)

1. Abboll. R.J., An Integrated Approach to Software Development, Addison-Wesley, (in preparation).
2. Booch, G. Soflivuru Engineering with Ada. Benjamin Cummings, 1983.
3. Dijkstra, E. The humble programmer. Comm. ACM. 15, 10 (Oct. 1972).
4. U.S. Department of Defense. Reference Manual for the Ada Programming Language. MIL-STD 1815.1980.
5. Guttag, J. V., Horowitz, E., and Musser, D. R. Abstract data types and software validation. Comm. ACM, 21, 12 [Dec. 1978) 1048-1062.
6. Hoare, C. A. R. An axiomatic approach to computer programming. Comm. ACM 12,10 (Oct. 1969) 576-580.
7. Liskov, B. H. and Zilles, S Specification Techniques for Data Abstractions. IEEE Trnns. Software Engineering. SE-1, 1, (March 1975) 7-19.
8. Parnas, D. L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15, 12 (Dec. 1972) 1053-1058.
9. Quine, W.V., Word arid Object, MIT Press, Cambridge, MA 1960.
10. Wirth, N. Systematic Programming: An Introduction. Prentice-Hall International, Englewood Cliffs, NJ. 1973.