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

Radetzki, Martin, Ed

ISBN 10: 1402097131 / ISBN 13: 9781402097133

Editore: Springer, New York, NY, 2009

Riguardo questo articolo

324 pp. Tightly bound. Top corners bumped. Text is Free of Markings. First eight pages were folded over and now have a crease. NOTE: The word "USED" is neatly stamped on the top fore-edge. A good to very good, clean working copy.

Codice articolo 052679

Dati bibliografici

• Titolo: Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
• Editore: Springer, New York, NY
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 1402097131
• ISBN 13: 9781402097133
• Rilegatura: Cloth
• Condizione: Very Good
• Condizione della sovraccoperta: Printed Boards

Descrizione articolo

Riassunto

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.

Dalla quarta di copertina

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

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.