Articles liés à UML-B Specification For Proven Embedded Systems Design

UML-B Specification For Proven Embedded Systems Design - Couverture rigide

 
9781402028663: UML-B Specification For Proven Embedded Systems Design

Synopsis

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

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

  • ÉditeurSpringer-Verlag New York Inc.
  • Date d'édition1899
  • ISBN 10 1402028660
  • ISBN 13 9781402028663
  • ReliureRelié
  • Langueanglais
  • Nombre de pages300
  • ÉditeurMermet Jean
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Satisfaisant
Pages can have notes/highlighting...
Afficher cet article
EUR 43,22

Autre devise

EUR 10,13 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 45,37

Autre devise

EUR 2,93 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9781441952561: UML-B Specification for Proven Embedded Systems Design

Edition présentée

ISBN 10 :  144195256X ISBN 13 :  9781441952561
Editeur : Springer, 2010
Couverture souple

Résultats de recherche pour UML-B Specification For Proven Embedded Systems Design

Image d'archives

MERMET J.P.
Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

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

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-397744

Contacter le vendeur

Acheter neuf

EUR 45,37
Autre devise
Frais de port : EUR 2,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 6 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

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

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-249263

Contacter le vendeur

Acheter neuf

EUR 49,32
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Mermet Jean
Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

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

Etat : New. pp. 316. N° de réf. du vendeur 18291539

Contacter le vendeur

Acheter neuf

EUR 44,36
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 316. N° de réf. du vendeur 26291545

Contacter le vendeur

Acheter neuf

EUR 44,47
Autre devise
Frais de port : EUR 7,88
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7589126

Contacter le vendeur

Acheter neuf

EUR 42,04
Autre devise
Frais de port : EUR 10,50
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Ancien ou d'occasion Couverture rigide

Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis

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

Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.54. N° de réf. du vendeur G1402028660I3N00

Contacter le vendeur

Acheter D'occasion

EUR 43,22
Autre devise
Frais de port : EUR 10,13
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par SPRINGER NATURE, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

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

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 300 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 1754575/12

Contacter le vendeur

Acheter D'occasion

EUR 55,37
Autre devise
Frais de port : Gratuit
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Jean Mermet
Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

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

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-166364

Contacter le vendeur

Acheter neuf

EUR 78,45
Autre devise
Frais de port : EUR 2,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Ancien ou d'occasion Couverture rigide

Vendeur : HPB-Red, Dallas, TX, Etats-Unis

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

Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_332765197

Contacter le vendeur

Acheter D'occasion

EUR 39,62
Autre devise
Frais de port : EUR 91,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1899
ISBN 10 : 1402028660 ISBN 13 : 9781402028663
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

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

Etat : New. In. N° de réf. du vendeur ria9781402028663_new

Contacter le vendeur

Acheter neuf

EUR 170,14
Autre devise
Frais de port : EUR 4,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre