A proposed graduate course in automatic software generation

Authors:
Wendell L. Pope
Affiliations:
Utah State University, Logan, Utah
Venue:
ACM SIGCSE Bulletin
Year:
1984

Citing 10
Cited 0

A Review and Evaluation of Software Science

ACM Computing Surveys (CSUR)
A Fortran programming methodology based on data abstraction

Communications of the ACM
A discipline in crisis

Communications of the ACM
A critique of the foundations of Hoare style programming logics

Communications of the ACM
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Two views of data abstraction

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Application Development without Programmers

Application Development without Programmers
Logic versus mathematics in computer science education

SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)

Principles of Compiler Design (Addison-Wesley series in computer science and information processing)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The backlog of demand for applications software is exceeding the productivity of programmers using conventional procedural languages. One approach to solving this problem is increasing programmer productivity through the use of automatic software generation systems. This paper presents the background of the software crunch, the reasons conventional programming languages are not expected to meet it, and the possibility of the state of the art being adequate to support a graduate course in automatic software generation.