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

The Refinement of Character
Language: en
Pages: 262
Authors: Aḥmad ibn Muḥammad Ibn Miskawayh
Categories: Islamic ethics
Type: BOOK - Published: 1968 - Publisher:

GET EBOOK

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
Adaptive Mesh Refinement - Theory and Applications
Language: en
Pages: 582
Authors: Tomasz Plewa
Categories: Mathematics
Type: BOOK - Published: 2004-12-08 - Publisher: Springer Science & Business Media

GET EBOOK

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and science. Originally developed for comp
Local Mesh Refinement in COM3D for Combustion Simulation
Language: en
Pages: 200
Authors: Ren, Ke
Categories:
Type: BOOK - Published: 2014-08-05 - Publisher: KIT Scientific Publishing

GET EBOOK

Shaping the Future of ICT
Language: en
Pages: 521
Authors: Ibrahiem M. M. El Emary
Categories: Computers
Type: BOOK - Published: 2017-09-19 - Publisher: CRC Press

GET EBOOK

The International Conference on Communications, Management, and Information Technology (ICCMIT’16) provides a discussion forum for scientists, engineers, educ