Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Couverture souple

 
9789048181919: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Couverture souple
ISBN 10 : 9048181917 ISBN 13 : 9789048181919
Editeur : Springer, 2010

Synopsis

Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

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

Présentation de l'éditeur

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL'08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

Présentation de l'éditeur

This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL ’08, the top international conference specializing in this field.

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

Éditeur
Springer
Date d'édition
2010
Langue
anglais
ISBN 10 
9048181917
ISBN 13 
9789048181919
Reliure
Broché
Nombre de pages
340
Éditeur
Radetzki Martin
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781402097133: Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08

Edition présentée

ISBN 10 :  1402097131 ISBN 13 :  9781402097133
Editeur : Springer-Verlag New York Inc., 2009
Couverture rigide