Formal Specification Level, 1

Name: Formal Specification Level, 1
Brand: Springer, Berlin
SKU: 9783319086989
Price: 553.26 RON
Availability: InStock

Algorithms, Concepts and Methods

Autor: Mathias Soeken, Rolf Drechsler

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

553.26 lei

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

Informații despre carte

Autor

Mathias Soeken, Rolf Drechsler

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2014

Pagini

200

EAN

9783319086989

ISBN

3319086987

Enbook ID

02746221

Editura

Springer, Berlin

Greutate

360

Dimensiuni

155 x 235 x 14

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Specification Level, 1

Algorithms, Concepts and Methods

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și