On the Design and Development of Program Families

IEEE Transactions on Software Engineering

Volumn SE-2, Issue 1, 1976, Pages 1-9

  Parnas, David L ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Information hiding modules; module specifications; program families; software design methodology; software engineering; stepwise refinement

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0016926766     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1976.233797     Document Type: Article

References (16)

1. D. L. Pamas, “Some conclusions from an experiment in software engineering techniques,” in 1972 Fall Joint Computer Conf., AFIPS Conf. Proc., vol. 41. Montyale, NJ: AFIPS Press, 1972, pp. 325–329.
2. H. Mills, “Mathematical foundations of structured programming,” IBM Federal Systems Div., No. FSC72-6012, pp. 1–62, Feb. 1972.
3. E. W. Dijkstra, “Structured programming,” in Software Engineering Techniques, J. N. Buxton and B. Randell, Ed. Brussels, Belgium: NATO Scientific Affairs Division, 1970, pp. 84–87.
4. N. Wirth “Program development by stepwise refinement,” Commun. ACM, vol. 14, pp. 221–227, Apr. 1971.
5. W. A. Wulf “The GOTO controversy: A case against the GOTO,” SIGPLAN Notices, vol. 7, pp. 63–69, Nov. 1972.
6. C. A. R. Hoare “Monitors: An operating system structuring concept,” Commun. ACM, vol. 17, pp. 549–557, Oct. 1974.
7. E. W. Dijkstra, “On the axiomatic definition of semantics,” EWD 367, privately circulated.
8. D. L. Parnas “On the criteria used in decomposing systems into modules,” Commun. ACM, vol. 15, pp. 1053–1058, Dec. 1972.
9. D.L., Parnas “A technique for software module specification with examples,” Commun. ACM (Programming Techniques Dept.), pp. 330–336, May 1972.
10. P. Naur “Programming by action clusters,” BIT, vol. 9, pp. 250–258, 1969.
11. P. Henderson and R. Snowdon “An experiment in structured programming,” BIT, vol. 12, pp. 38–53, 1972.
12. D. L. Parnas, “A course on software engineering techniques,” in Proc. ACM SIGCSE, 2nd Tech. Symp., Mar. 24–25, 1972.
13. E. W. Dijkstra, “Co-operating sequential processes,” Programming Languages, F. Genuys, Ed. New York: Academic Press, 1968, pp. 43–112.
14. W. R. Price, “Implications of a virtual memory mechanism for implementing protection in a family of operating systems,” Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, PA, 1973.
15. B. Randell and F. W. Zurcher, “Iterative multi-level modelling—A methodology for computer system design,” in Proc. IFIP Congr., 1968.
16. D. L. Parnas, “On a ‘buzzword’ hierarchical structure,” in Proc. IFIP Congr., 1974, pp. 336–339.