Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
Characteristic for embedded systems is that they have to meet a multitude of quantitative constraints such as resource-, real-time-, or energy-consumption constraints. Model-Driven Development is a new software development technique in which the primary software artifacts are models providing a collection of views. Existing model-driven tools for real-time embedded systems are limited with respect to their treatment of quantitative constraints. This book presents methods and tools for dealing with quantitative constraints in model-driven development of embedded systems. It provides:1. methods for modelling various quantitative aspects of embe…
Mehr
CHF 152.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Tretmans, Jan (Hrsg.) / Nielsen, Brian (Hrsg.)
- ISBN: 978-94-007-1368-0
- EAN: 9789400713680
- Produktnummer: 13274844
- Verlag: Springer Verlag Gmbh
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 260 S.
- Auflage: 2012.
10 weitere Werke von Kim G. (Hrsg.) Larsen:
Bewertungen
Anmelden