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
Languages, Design Methods, and Tools for Electronic System Design
Language: en
Pages: 205
Authors: Frank Oppenheimer
Categories: Technology & Engineering
Type: BOOK - Published: 2015-12-11 - Publisher: Springer

GET EBOOK

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which
Formal Logical Methods for System Security and Correctness
Language: en
Pages: 332
Authors: Orna Grumberg
Categories: Business & Economics
Type: BOOK - Published: 2008 - Publisher: IOS Press

GET EBOOK

Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction pro
Methods, Models and Tools for Fault Tolerance
Language: en
Pages: 350
Authors: Michael Butler
Categories: Computers
Type: BOOK - Published: 2009-03-26 - Publisher: Springer Science & Business Media

GET EBOOK

The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering s
Rigorous Development of Complex Fault-Tolerant Systems
Language: en
Pages: 413
Authors: Michael Butler
Categories: Computers
Type: BOOK - Published: 2006-11-23 - Publisher: Springer

GET EBOOK

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It i