Name: Formal Specification Level: Concepts, Methods, and Algorithms
SKU: 50889220
Price: 122.04 EUR
Availability: InStock
Author: Mathias Soeken; Rolf Drechsler
ISBN: 9783319086989

Select your country

Americas

Europe

Rest of the world

portada Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Type

Physical Book

Publisher

Springer

Author

Mathias Soeken; Rolf Drechsler

Year

2014

Language

English

Pages

138

Format

Hardcover

ISBN13

9783319086989

Edition No.

2015

Synopsis "Formal Specification Level: Concepts, Methods, and Algorithms "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken; Rolf Drechsler

Synopsis "Formal Specification Level: Concepts, Methods, and Algorithms "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery