Formal Specification Level: Concepts, Methods, and Algorithms (Hardback)
  • Formal Specification Level: Concepts, Methods, and Algorithms (Hardback)

Formal Specification Level: Concepts, Methods, and Algorithms (Hardback)

(author), (author)
Hardback 138 Pages / Published: 28/11/2014
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer International Publishing AG
ISBN: 9783319086989
Number of pages: 138
Weight: 3495 g
Dimensions: 235 x 155 x 10 mm
Edition: 2015 ed.

You may also be interested in...

Enterprise Data Architecture
Added to basket
Computer Systems Architecture
Added to basket
Professional CUDA C Programming
Added to basket
Articulating Design Decisions
Added to basket
The Soar Cognitive Architecture
Added to basket
Practical Reverse Engineering
Added to basket
Principles of Computer Hardware
Added to basket
CUDA by Example
Added to basket


Please sign in to write a review

Your review has been submitted successfully.