| 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 14:41 |
|
