If you want introductory, see Bertrand Myer and the Eiffel programming language. http://www.eiffel.com/developers/design_by_contract.html http://www.eiffel.com

If you want introductory, see Bertrand Myer and the Eiffel programming language. http://www.eiffel.com/developers/design_by_contract.html http://www.eiffel.com/developers/design_by_contract.html http://en.wikipedia.org/wiki/Design_by_contract http://en.wikipedia.org/wiki/Design_by_contract http://en.wikipedia.org/wiki/Eiffel_(programming_language) http://en.wikipedia.org/wiki/Eiffel_(programming_language)