Cleanroom Software Engineering

IEEE Software

Volumn 4, Issue 5, 1987, Pages 19-25

  Mills, Harlan D ^a   Dyer, Michael ^b   Linger, Richard C ^b  

^a Information Systems Institute ^*  (United States)

^b Loral Corp   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84939741505     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.1987.231413     Document Type: Article

References (10)

1. A. Currit, M. Dyer, and H.D. Mills, “Certifying the Reliability of Software,” IEEE Trans. Software Eng., Jan. 1986, pp. 3–11.
2. Cobol Structuring Facility Users Guide, IBM Corp., Armonk, N.Y., 1986.
3. R.W. Selby, V.R. Basili, and F.T. Baker, “Cleanroom Software Development: An Empirical Evaluation,” Tech. Report TR-1415, Computer Science Dept., Univ. of Maryland, College Park, Md., Feb. 1985.
4. R.C. Linger, H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, Mass., 1979.
5. E.W. Dijkstra, “Structured Programming,” in Software Engineering Techniques, J.N. Burton and B. Randell, eds., NATO Science Committee, New York, 1969, pp. 88–93.
6. H.D. Mills and R.C. Linger, “Data-Structured Programming,” IEEE Trans. Software Eng., Feb. 1986, pp. 192–197.
7. A.J. Jordano, “DSM Software Architecture and Development,” IBM Technical Directions, No. 3, 1984, pp. 17–28.
8. C.K. Cho, Quality Programming: Developing and Testing Software with Statistical Quality Control, John Wiley & Sons, New York, 1987.
9. H.D. Mills, “Structured Programming: Retrospect and Prospect,” IEEE Software Nov. 1986, pp. 58–66.
10. E.N. Adams, “Optimizing Preventive Se r vice of Software Products,” IBM J. Research and Development, Jan. 1984.