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

Saved in:
Main Authors: Seiter, Julia (Author), Wille, Robert, 1982- (Author), Drechsler, Rolf, 1969- (Author)
Corporate Author: SpringerLink (online služba)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2017
Series:SpringerBriefs in Electrical and Computer Engineering
Genre/form:monografie
elektronické knihy
ISBN:978-3-319-41480-5
9783319414799
Subjects:
UML
Online Access:Full-text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Full-text
Status Sublibrary Description Location LCC Callnumber Old Callnumber