Use of the concept of transparency in the design of hierarchically structured systems

This paper deals with the design of hierarchically structured programming systems. It develops a method for evaluating the cost of requiring programmers to work with an abstraction of a real machine. A number of examples from hardware and software are given as illustrations of the method.

[1]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[2]  Allen Newell,et al.  Computer Structures: Readings and Examples, , 1971 .

[3]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[4]  Jerome H. Saltzer,et al.  Traffic control in a multiplexed computer system , 1966 .

[5]  Edsger Wybe Dijkstra,et al.  Cooperating Sequential Processes, Technical Report EWD-123 , 1965 .

[6]  C. A. R. Hoare.  The structure of an operating system , 1975, Language Hierarchies and Interfaces.

[7]  B. Randell,et al.  Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO , 1969 .

[8]  Per Brinch Hansen,et al.  The nucleus of a multiprogramming system , 1970, CACM.

[9]  David Lorge Parnas.  On a solution to the cigarette smoker's problem (without conditional statements) , 1975, CACM.

[10]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[11]  David Lorge Parnas,et al.  SODAS and a methodology for system design , 1967, AFIPS '67 (Fall).

[12]  David Lorge Parnas.  More on simulation languages and design methodology for computer systems , 1969, AFIPS '69 (Spring).

[13]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[14]  Brian Randell,et al.  Iterative multi-level modelling. A methodology for computer system design , 1968, IFIP Congress.

[15]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.