Contracts for System Design

by Albert Benveniste, Benoit Caillaud, Dejan Nickovic

Recently, contract-based design has been proposed as an "orthogonal" approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction/refinement, and even synthesis. Several results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective...

• Format: Paperback
• Language: English
• ISBN: 1680834029
• ISBN13: 9781680834024
• Release Date: March 2018
• Publisher: Now Publishers
• Length: 296 Pages
• Weight: 0.93 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"