Bibliography

Formal Methods
in
Software Engineering

Cleanroom Software Engineering

Beizer, B. (March/April 1997) Cleanroom Process Model: A Critical Examination. IEEE Software, p. 14-16.

S

ee the material maintained by Cleanroom Software Engineering, Inc. which includes.

• Deck, M. (1996) Cleanroom Review Techniques for Application Development. Presented at the 6th International Conference on Software Quality, Ottawa, Canada, October 29-30, 1996.

• Deck, M. (1996) Cleanroom Practice: A Theme and Variations. Presented at the 9th International Software Quality Week (QW '96), San Francisco, CA, May 21-24, 1996.

Leavens, G. T. and Y. Cheon Extending CORBA IDL to Specify Behavior with Larch.

Linger, R. C. (March 1994) Cleanroom Process Model. IEEE Software, pp. 50-58.

Linger, R.C. & Trammell, C.J. (1996) Cleanroom Software Engineering Reference Model. CMU/SEI-96-TR-022.

Mills, H.D., M. Dyer and R.C. Linger (September 1987) Cleanroom Software Engineering, IEEE Software, p. .

Selby, R.W., Basili, V.R., and Baker, F.T. (1987) Cleanroom Software Development: An Empirical Evaluation. IEEE Trans. on Software Engineering, vol. SE-13(9), pp. 1027-1037.

Sherer, S. W., A. Kouchakdjian, & P. G. Arnold (May 1996) Experience Using Cleanroom Software Engineering. IEEE Software, p. 69-76.

Software Engineering, Technology, Inc. (19??) Cleanroom Tutorial

Trammel, C.J., Binder, L.H., and Snyder, C.E. (1992) The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering. ACM Trans. on Software Engineering and Methodology, vol. 1(1), p. 81-94.

Craigen, D., S. Gerhart, & T. Ralston (1993) An International Survey of Industrial Applications of Formal Methods, U.S. Department of Commerce, NISTGCR 93/626.

Volume 1 Purpose, Approach, Analysis, and Conclusions

Volume 2 Case Studies.

Hall, A. (September 1990) Seven Myths of Formal Methods. IEEE Software, p.

Larch

Guttag, J. V. and J. J. Horning, with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing (1993) Larch: Languages and Tools for Formal Specification. Springer-Verlag Texts and Monographs in Computer Science.

Luqi & J. A. Goguen (January/February 1997) Formal Methods: Promises and Problems. IEEE Software, p. 73-85.

Mills, H.D., R.C. Linger and A. Hevner (1986) Principles of Information Systems Analysis and Design. New York: Academic Press, Inc.

Pfleeger, S. L. & L. Hatton (February 1997) Investigating the Influence of Formal Methods. IEEE Computer. p. 33-43.

To UMass Dartmouth
To CIS Department at UMass Dartmouth

This document
Created: February 8, 1997
by RLU

Modified: May 2, 1997