References

1

I. Somerville. Software Engineering. Addison-Wesley, 1989.

2

C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1986.

3

D.M. Hoffman and P.A. Strooper. Software Design, Automated Testing, and Maintenance: A Practical Approach. International Thomson Computer Press, 1995.

4

D.L. Parnas and P.C. Clements. A rational design process: How and why to fake it. IEEE Trans. Soft. Eng., SE-12(2):251--257, February 1986.

5

M. Dyer. The Cleanroom Approach to Quality Software Development. Wiley, 1992.

6

G. Murphy, P. Townsend, and P.S. Wong. Experiences with cluster and class testing. Commun. ACM, 37(9):39--47, 1994.

7

D.M. Hoffman. A CASE study in module testing. In Proc. Conf. Software Maintenance, pages 100--105. IEEE Computer Society, October 1989.