Automatic Methods for the Refinement of System Models

Automatic Methods for the Refinement of System Models
Author :
Publisher : Springer
Total Pages : 100
Release :
ISBN-10 : 9783319414805
ISBN-13 : 3319414801
Rating : 4/5 (801 Downloads)

Book Synopsis Automatic Methods for the Refinement of System Models by : Julia Seiter

Download or read book Automatic Methods for the Refinement of System Models written by Julia Seiter and published by Springer. This book was released on 2016-07-04 with total page 100 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Automatic Methods for the Refinement of System Models Related Books

Automatic Methods for the Refinement of System Models
Language: en
Pages: 100
Authors: Julia Seiter
Categories: Technology & Engineering
Type: BOOK - Published: 2016-07-04 - Publisher: Springer

GET EBOOK

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desir
Automated Technology for Verification and Analysis
Language: en
Pages: 551
Authors: Susanne Graf
Categories: Computers
Type: BOOK - Published: 2006-10-10 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Be
Cost Oriented Automation 2004
Language: en
Pages: 324
Authors: Marek Zaremba
Categories: Computers
Type: BOOK - Published: 2005-08-05 - Publisher: Elsevier

GET EBOOK

Cost Oriented Automation 2004 addresses a new integration environment that enables the evolution of collaborative e-design paradigm. This design paradigm aims a
Teaching Formal Methods
Language: en
Pages: 185
Authors: Jeremy Gibbons
Categories: Mathematics
Type: BOOK - Published: 2009-10-26 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of t
Critical Systems: Formal Methods and Automated Verification
Language: en
Pages: 255
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2016-09-12 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th Internati