Link

• Design by Contract: fondamenti e tecniche

  • Design by Contract: an introduction
    
  • Ariane 5 e il design by contract
    
  • Building bug-free O-O software
    
  • An Exception or a Bug? From design by contract to pre-emptive programming: principles for writing better code
    
  • Verified Design By Contract (a natural evolution of Design By Contract)
    
  • Developing Object-Oriented Software with Patterns and Frameworks
    
  • “Design by Contract” + “Componentware” = “Design by Signed Contract”
    
  • Logical-Time Contracts for Reactive Embedded Components
    
  • iContract: Design by Contract in Java
    
  • Using Design by Contract[TM] to Automate Java[TM] Software and Component Testing
    
  • Design by contract for Phyton
    
  • Programming by contract
    
  • Assertions are objects too!
    

• Design by Contract tools

  • iContract - The Java(tm) Design by Contract(tm) Tool
    
  • iContract Plus - Making iContract friendly
    
  • The Larch/C++ Project
    
  • GNU Nana Design by Contract in GNU C/C++
    
  • Design by Contract Tool for Java - JMSAssert
    
  • jContractor: a reflective java library to support Design By Contrac