D. L. Parnas
Abstract
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.
References
- 1 Dijkstra, E.W., The structure of the "THE" operating system, Comm. ACM 11, 5 (May 1968), 341-346.
Google Scholar 
Digital Library
- 2 Dijkstra, E.W. Notes on structured programming. Report of the Technische Hoogschool Eindhoven, Eindhoven, The Netherlands.Google Scholar
- 3 Parnas, D.L., and Darringer, J.A. SODAS and a methodology for system design. Proc. AFIPS 1967 FJCC, Vol. 31, AFIPS Press Montvale, N.J., pp. 449-474.Google Scholar
- 4 Zurcher, F.W., and Randell, B. Multi-level modeling--A " methodology for computer system design. Proc. IFIP Cong. 1968.Google Scholar
- 5 Parnas, David L. More on simulation languages and design methodology for computer systems. Proc. AFIPS 1969 SJCC, Vol. 34, AFIPS Press, Montvale, N.J., pp. 739-743.Google Scholar
- 6 Gill, S. Thoughts on the sequence of writing software. In Software Engineering, report of a conference in Garmisch, Germany, Oct. 1968.Google Scholar
- 7 Parnas, D.L. Information distribution aspects of design methodology. Proc. IFIP Cong. 1971.Google Scholar
- 8 Braden, et al. An implementation of MVT. UCLA report.Google Scholar
- 9 Parnas, D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM (to appear).
Google Scholar Digital Library - 10 Dijstra, E.W. Cooperating sequential processes. Report of Technische Hoogschool Eindhoven, Eindhoven, The Netherlands.
Google Scholar Digital Library - 11 Saltzer, G. Traffic control in a multiplexed computer system. MIT Thesis.Google Scholar
- 12 Hansen, P.B. The nucleus of a multiprogramming operating system. Comm. ACM 13, 4 (Apr. 1970), 238-241.
Google Scholar Digital Library - 13 Hansen, P.B., RC4000 Reference Manual. Regnecentralen, Copenhagen, Denmark.Google Scholar
- 14 Hansen, P.B., private discussions.Google Scholar
- 15 Bell, C.G., and Newell, A. Computer Structures: Readings and Examples. McGraw-Hill, New York, 1971.
Google Scholar Digital Library - 16 Patil, S.S. Limitations and capabilities of Dijkstra's semaphore primitives for coordination among processes. Proj. MAC, Computat. Structures Group Memo 57, Feb. 1971.Google Scholar
- 17 Parnas, D.L. On a solution to the cigarette smoker's problem (without conditional statements). Comm. ACM 18, 3 (Mar. 1975), 181-183.
Google Scholar Digital Library - 18 Parnas, D.L. A technique for the software modules specification with examples. Comm. ACM 15, 5 (May 1972), 330-336.
Google Scholar Digital Library
Index Terms
Use of the concept of transparency in the design of hierarchically structured systems
Comments