Automatic methods for the refinement of system models :: from the specification to the implementation /: Julia Seiter, Robert Wille, Rolf Drechsler.

Seiter, Julia,; Wille, Robert,; Drechsler, Rolf,

doi:10.1007/978-3-319-41480-5

Automatic methods for the refinement of system models : from the specification to the implementation / Julia Seiter, Robert Wille, Rolf Drechsler.

Seiter, Julia, author.; Wille, Robert, author.; Drechsler, Rolf, author.

2016

QA76.9.S88

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Automatic methods for the refinement of system models : from the specification to the implementation / Julia Seiter, Robert Wille, Rolf Drechsler.

Author

Seiter, Julia, author.

ISBN

9783319414805 (electronic book)
3319414801 (electronic book)
9783319414799

DOI

https://doi.org/10.1007/978-3-319-41480-5

Published

Switzerland : Springer, [2016]

Copyright

Language

English

Description

1 online resource (viii, 94 pages) : illustrations.

Item Number

10.1007/978-3-319-41480-5 doi

Call Number

QA76.9.S88

Dewey Decimal Classification

004.2/4

Summary

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

Bibliography, etc. Note

Includes bibliographical references.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed July 15, 2016).

Added Author

Wille, Robert, author.
Drechsler, Rolf, author.

Series

SpringerBriefs in electrical and computer engineering.

Available in Other Form

Print version: 9783319414799