Name: Formal Specification Level: Concepts, Methods, and Algorithms
Price: 4274.00 TWD
Availability: InStock
Author: Soeken, Mathias ; Drechsler, Rolf
ISBN: 9783319378824

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

Author

Rolf Drechsler

Mathias Soeken

Publisher

Springer

Language

English

Pages

138

Format

Paperback

Dimensions

23.4 x 15.6 x 0.8 cm

Weight

0.22 kg.

ISBN13

9783319378824

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 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 - Soeken, Mathias ; Drechsler, Rolf

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