Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Böcker - Springer International Publishing AG - 9783319086989 - 28 november 2014
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.249

Beställningsvara

Förväntad leverans 13 - 27 aug
Få avisering om nya utgåvor med Mathias Soeken

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 28 november 2014
ISBN13 9783319086989
Utgivare Springer International Publishing AG
Antal sidor 138
Mått 155 × 235 × 10 mm   ·   385 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Mathias Soeken ( t.ex. Inbunden Bok och Pocketbok )