Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Bücher - Springer International Publishing AG - 9783319086989 - 28. November 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms 2015 edition

Preis
€ 98,99

Bestellware

Lieferdatum: ca. 14. - 22. Sep
Benachrichtigungen über neue Veröffentlichungen von Mathias Soeken erhalten

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Auch vorhanden als:

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

138 pages, 87 black & white illustrations, 6 black & white tables, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 28. November 2014
ISBN13 9783319086989
Verlag Springer International Publishing AG
Seitenanzahl 138
Maße 155 × 235 × 10 mm   ·   385 g
Sprache Englisch  

Mehr vom selben Verlag

Alle Titel von Mathias Soeken ansehen