CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

authors Cheatham, Th.E., Townley, J.A. and Holloway, G.H.
year 1979
title A System for Program Refinement
source 1979. pp. 53-62. includes bibliography
summary The Program Development System (PDS) is a programming environment, an integrated collection of interactive tools that support the process of program definition, testing, and maintenance. The PDS is intended to aid the development of large programs, especially program families whose members must be maintained in synchrony. The system facilitates implementation by stepwise refinement, and it keeps a refinement history that allows program modifications made at a high level of abstraction to be reflected efficiently and automatically in the corresponding low level code. Analysis tools are used both to support program validation and to guide program refinement
keywords user interface, software, systems, programming, tools
series CADline
references Content-type: text/plain
last changed 2003/06/02 12:41
HOMELOGIN (you are user _anon_570109 from group guest) Works Powered by SciX Open Publishing Services 1.002