Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Bøker - Springer International Publishing AG - 9783319086989 - 28. november 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 989

Bestillingsvarer

Forventes levert 10. - 18. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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øker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 28. november 2014
ISBN13 9783319086989
Utgivere Springer International Publishing AG
Antall sider 138
Mål 155 × 235 × 10 mm   ·   385 g
Språk Engelsk  

Mere med samme udgiver

Se alt med Mathias Soeken ( f.eks. Innbunden bok og Pocketbok )