Articles liés à Rigorous System Design

Sifakis, Joseph Rigorous System Design ISBN 13 : 9781601986603

Rigorous System Design - Couverture souple

 
9781601986603: Rigorous System Design

Synopsis

Rigorous System Design deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations. It presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them. A rigorous system design flow is defined as a formal accountable and iterative process composed of steps, and based on four principles: 1) separation of concerns; 2) component-based construction; 3) semantic coherency; 4) correctness-by-construction. The combined application of these principles allows the definition of a methodology clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. The presented view for rigorous system design has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility. Rigorous System Design concludes with a discussion advocating a system-centric vision for computing, identifying possible links with other disciplines and emphasizing centrality of system design. It is an ideal primer for researchers and practitioners interested in the design of mixed hardware/software systems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

Zustand: Hervorragend | Sprache...
Afficher cet article
EUR 51,88

Autre devise

EUR 9,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 58,18

Autre devise

EUR 6,85 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Rigorous System Design

Image d'archives

Joseph Sifakis
Edité par Now Publishers Inc, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 23721687/1

Contacter le vendeur

Acheter D'occasion

EUR 51,88
Autre devise
Frais de port : EUR 9,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Sifakis, Joseph
Edité par Now Publishers, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9781601986603

Contacter le vendeur

Acheter neuf

EUR 58,18
Autre devise
Frais de port : EUR 6,85
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Joseph Sifakis
Edité par Now Publishers, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf PAP
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : 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 réf. du vendeur IQ-9781601986603

Contacter le vendeur

Acheter neuf

EUR 61,41
Autre devise
Frais de port : EUR 4,92
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sifakis, Joseph
Edité par Now Publishers 4/15/2013, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Paperback or Softback

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback or Softback. Etat : New. Rigorous System Design 0.29. Book. N° de réf. du vendeur BBS-9781601986603

Contacter le vendeur

Acheter neuf

EUR 56,74
Autre devise
Frais de port : EUR 10,70
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sifakis, Joseph
Edité par Now Publishers, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 19624479-n

Contacter le vendeur

Acheter neuf

EUR 51,82
Autre devise
Frais de port : EUR 17,11
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Joseph Sifakis
Edité par now publishers Inc, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Paperback / softback
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 162. N° de réf. du vendeur C9781601986603

Contacter le vendeur

Acheter neuf

EUR 67,98
Autre devise
Frais de port : EUR 4,59
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Joseph Sifakis
Edité par now publishers Inc, US, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Paperback

Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. Illustrated. N° de réf. du vendeur LU-9781601986603

Contacter le vendeur

Acheter neuf

EUR 69,25
Autre devise
Frais de port : EUR 3,42
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Joseph Sifakis
Edité par now publishers Inc, US, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Paperback

Vendeur : Rarewaves.com UK, London, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. Illustrated. N° de réf. du vendeur LU-9781601986603

Contacter le vendeur

Acheter neuf

EUR 70,56
Autre devise
Frais de port : EUR 2,31
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Joseph Sifakis
Edité par now publishers Inc, US, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Neuf Paperback

Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. Illustrated. N° de réf. du vendeur LU-9781601986603

Contacter le vendeur

Acheter neuf

EUR 71,17
Autre devise
Frais de port : EUR 3,42
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Sifakis, Joseph
Edité par Now Publishers, 2013
ISBN 10 : 1601986602 ISBN 13 : 9781601986603
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 19624479

Contacter le vendeur

Acheter D'occasion

EUR 59,39
Autre devise
Frais de port : EUR 17,11
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 9 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre