Contracts for System Design

Contracts for System Design

Versandkostenfrei!
Versandfertig in 1-2 Wochen
102,99 €
inkl. MwSt.
PAYBACK Punkte
51 °P sammeln!
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 has been missing. Contracts for System Design provides such a treatment where contracts are precisely defined and characterized so that they can be...