Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL�06

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’06), in September 2006.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.Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL�06 1st Edition is written by Sorin Alexander Huss and published by Springer. ISBNs for Advances in Design and Specification Languages for Embedded Systems are 9781402061493, 1402061498 and the print ISBNs are 9781402061479, 1402061471.