Model-Based Testing of Reactive Systems
Advanced Lectures
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a…
Mehr
CHF 112.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Jonsson, Bengt (Hrsg.) / Katoen, Joost-Pieter (Hrsg.) / Leucker, Martin (Hrsg.) / Pretschner, Alexander (Hrsg.)
- ISBN: 978-3-540-32037-1
- EAN: 9783540320371
- Produktnummer: 33365823
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 664 S.
- Plattform: PDF
- Masse: 5'915 KB
- Auflage: 2005
- Abbildungen: Bibliographie
- Reihenbandnummer: 3472
50 weitere Werke von Manfred (Hrsg.) Broy:
Model-Driven Development of Reliable Automotive Services
Advanced Lectures
Advanced Lectures
Ebook (PDF Format)
CHF 77.00
Control Flow and Data Flow: Concepts of Distributed Programming
Advanced Lectures
Advanced Lectures
Ebook (PDF Format)
CHF 153.50
Automotive Software-Connected Services in Mobile Networks
Advanced Lectures
Advanced Lectures
Ebook (PDF Format)
CHF 77.00
Requirements Targeting Software and Systems Engineering
Advanced Lectures
Advanced Lectures
Ebook (PDF Format)
CHF 106.50
Bewertungen
Anmelden