Formal Specification Level, 1

Name: Formal Specification Level, 1
Brand: Springer, Berlin
SKU: 9783319086989
Price: 99.76 EUR
Availability: InStock

Algorithms, Concepts and Methods

Autor: Mathias Soeken, Rolf Drechsler

Jazyk:

Väzba: Pevná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

99.76 €

This book introduces a new level of abstraction that closes the gap between the textual specificatio...

Informácie o knihe

Autor

Mathias Soeken, Rolf Drechsler

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2014

Stránok

200

EAN

9783319086989

ISBN

3319086987

Enbook ID

02746221

Vydavateľ

Springer, Berlin

Hmotnosť

360

Rozmery

155 x 235 x 14

Kompletný popis

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 so-called 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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Specification Level, 1

Algorithms, Concepts and Methods

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež