Cover Image
Read Now

Automatic Methods for the Refinement of System Models From the Specification to the Implementation

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 precisio...

Full description

Bibliographic Details
Main Authors: Seiter, Julia, Wille, Robert (Author), Drechsler, Rolf (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2017, 2017
Edition:1st ed. 2017
Series:SpringerBriefs in Electrical and Computer Engineering
Subjects:
Electronics And Microelectronics, Instrumentation
Electronic Circuits
Processor Architectures
Microprocessors
Electronics
Electronic Circuits And Systems
Computer Architecture
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Introduction
  • Preliminaries
  • Challenges in Model Refinement
  • Verification of Vertical Refinement
  • Extraction of a Relation for Vertical Refinement
  • Verification of Horizontal Refinement
  • Summary and Conclusions

Similar Items