Artículos relacionados a Contracts for System Design: 38 (Foundations and Trends...
Contracts for System Design: 38 (Foundations and Trends in Electronic Design Automation) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialNow Publishers Inc
- Año de publicación2018
- ISBN 10 1680834029
- ISBN 13 9781680834024
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas298
- Contacto del fabricanteno disponible
EUR 94,31
EUR 17,21 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 95,14
EUR 4,08 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Contracts for System Design: 38 (Foundations and Trends...
Imagen de archivo
Contracts for System Design
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9781680834024
Cantidad disponible: 15 disponibles
Imagen de archivo
Contracts for System Design
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9781680834024
Cantidad disponible: 15 disponibles
Imagen de archivo
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781680834024
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Contracts for System Design
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 32465521-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781680834024_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Contracts for System Design
Publicado por
Now Publishers, 2018
ISBN 10: 1680834029
ISBN 13: 9781680834024
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 32465521
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Contracts for System Design
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 32465521-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Contracts for System Design
Publicado por
Now Publishers, 2018
ISBN 10: 1680834029
ISBN 13: 9781680834024
Antiguo o usado
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 32465521
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Contracts for System Design
Publicado por
now publishers Inc, 2018
ISBN 10: 1680834029
ISBN 13: 9781680834024
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 526. Nº de ref. del artículo: C9781680834024
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Contracts For System Design
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 296 pages. 9.13x6.18x0.71 inches. In Stock. Nº de ref. del artículo: x-1680834029
Cantidad disponible: 2 disponibles