Albert Benveniste, Jean-Baptiste Raclet, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Tom Henzinger, and Kim G. Larsen
This is Part II of a sequence of two papers on Contract-based Design (CBD). Part I introduced concepts, presented how CBD addresses the challenges facing designers of large-scale complex systems, placed it in the context of existing design methodologies and showed how it can be used effectively together with any other methodology so far proposed. Part II covers the theoretical foundations that are essential to make CBD robust and well supported by tools and software frameworks. We believe that contract-based design is going to be a key part of the future of system design and for this reason, this contribution is important for the design community.