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