Embedded Systems Specification and Design Languages

Name: Embedded Systems Specification and Design Languages
Brand: Springer
SKU: 9789048178346
Price: 105.11 EUR
Availability: InStock

Selected Contributions from FDL '07

Автор: Eugenio Villar

Език:

Корици: С меки корици

Издател: Springer

Наличност: Външен склад

Изпращаме след 5-8 дни

105.11 € 205.57 лв

FDL is the most important European and, probably, worldwide forum to present research results, to ex...

Информация за книгата

Автор

Eugenio Villar

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

275

EAN

9789048178346

ISBN

9048178347

Enbook ID

05322801

Издател

Springer

Теглоt

444

Размери

155 x 235 x 16

Пълно описание

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL 07 was the tenth of a series of successful events held all around Europe. FDL 07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design.§The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems. This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages

Може също да ви хареса