Contracts for System Design by Dejan Nickovic, Benoit Caillaud, Albert Benveniste

296 pages missing pub info (editions)

nonfiction art technology medium-paced
Powered by AI (Beta)
Loading...

Description

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 veri...

Read more

Community Reviews

Loading...

Content Warnings

Loading...