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 ...
Read More
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 used in design methodologies with no ambiguity. It identifies the essence of complex system design using contracts through a mathematical meta-theory, where all the properties of the methodology are derived from a very abstract and generic notion of contract. This meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. It encompasses contracts for both software and systems, with emphasis on the latter. Contracts for System Design illustrates the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the AUTOSAR methodology in use in the automotive sector.
Read Less
Add this copy of Contracts for System Design to cart. $105.74, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2018 by Now Publishers.
Add this copy of Contracts for System Design to cart. $106.53, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2018 by now publishers Inc.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Contracts for System Design to cart. $101.46, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2018 by Now Publishers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 296 p. Foundations and Trends(r) in Electronic Design Automation, 38. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Contracts for System Design to cart. $102.48, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2018 by Now Publishers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 296 p. Foundations and Trends(r) in Electronic Design Automation, 38. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Contracts for System Design to cart. $111.62, new condition, Sold by Paperbackshop International rated 2.0 out of 5 stars, ships from Fairford, GLOS, UNITED KINGDOM, published 2018 by now publishers Inc.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Contracts for System Design to cart. $94.03, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2018 by Now Publishers.
Add this copy of Contracts for System Design to cart. $121.32, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2018 by Now Publishers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 296 p. Foundations and Trends(r) in Electronic Design Automation, 38. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
