Features
- Cover Type: Paperback with 345 pages
- Published by: Springer
- Edition: 1st Edition December 22, 2005
- Written in: English
- ISBN 10 Number: 3540306447
- ISBN 13 Number: 978-3540306443
-
Book Dimensions:
9.2 x 6 x 0.9 inches
- Weighs: 1.2 pounds
Book Description
This book provides a good opportunity for
software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded
software research. The book is based on a selective compilation of papers that cover the complete component-based embedded
software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools.
This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.