In the process of teaching a New Mexico Tech course entitled “Zero-defect software design,” I have written a modest text:
Python by contract: a zero-defect approach
This work is an attempt to adapt the principles of Cleanroom software engineering to the Python programming language. For a more general presentation of the Cleanroom methodology that applies to all languages, see the work of my colleague:
Stavely, Allan M. Toward zero-defect programming. Addison-Wesley, 1999, ISBN 0-201-38595-3.