Online Resources
http://archive.eiffel.com/doc/manuals/technology/contract/page.html
http://www.parasoft.com/jsp/products/article.jsp?articleId=579&product=Jcontract
http://www.elj.com/eiffel/feature/dbc/java/ge/
http://www.reliable-systems.com/tools/iContract/documentation/icontract-tools98usa.pdf
http://www.reliable-systems.com/tools/iContract/documentation/web98.pdf
http://www.mmsindia.com/DBCForJava.html
http://semantik.informatik.uni-oldenburg.de/~jass/doc/assert.html#prepost
Copyright Jing Wang
send email