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

Full description

Saved in:
Bibliographic Details
Main Authors Seiter, Julia (Author), Wille, Robert (Author), Drechsler, Rolf (Author)
Format Electronic eBook
LanguageEnglish
Published Switzerland : Springer, [2016]
SeriesSpringerBriefs in electrical and computer engineering.
Subjects
System design > Data processing.
elektronické knihy
electronic books
Online AccessFull text
ISBN9783319414805
9783319414799
ISSN2191-8112
Physical Description1 online resource (viii, 94 pages) : illustrations (some color)

Cover

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