论文信息 - A Technique for Software Module Specification with - 字舞流文

A Technique for Software Module Specification with

Examples L. Parnas | E. Parnas

[1] C. Hoare,et al. Proof of a program , 1971, Commun. ACM.

[2] B. Randell,et al. Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969, Brussels, Scientific Affairs Division, NATO , 1970 .

[3] Niklaus Wirth,et al. EULER: a generalization of ALGOL, and its formal definition: Part II , 1965, CACM.

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