Advertisement

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

  • Julia Seiter
  • Robert Wille
  • Rolf Drechsler

Part of the SpringerBriefs in Electrical and Computer Engineering book series (BRIEFSELECTRIC)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 1-5
  3. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 7-21
  4. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 23-29
  5. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 31-58
  6. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 59-78
  7. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 79-92
  8. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 93-94

About this book

Introduction

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.

Keywords

Unified Modeling Language UML Object Constraint Language Automatic Verification in Electronic Systems Formal Specification

Authors and affiliations

  • Julia Seiter
    • 1
  • Robert Wille
    • 2
  • Rolf Drechsler
    • 3
  1. 1.VerdenGermany
  2. 2.Johannes Kepler University Linz LinzAustria
  3. 3.AG RechnerarchitekturUniversity of Bremen AG RechnerarchitekturBremenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-41480-5
  • Copyright Information The Author(s) 2017
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-41479-9
  • Online ISBN 978-3-319-41480-5
  • Series Print ISSN 2191-8112
  • Series Online ISSN 2191-8120
  • Buy this book on publisher's site