Automatic methods for the refinement of system models : from the specification to the implementation

• Main Authors: Seiter, Julia, (Author), Wille, Robert, (Author), Drechsler, Rolf, (Author)
• Format: eBook
• Language: English
• Published: Switzerland : Springer, [2016]
• Series: SpringerBriefs in electrical and computer engineering.
• Subjects: System design > Data processing.; elektronické knihy; electronic books
• ISBN: 9783319414805; 9783319414799
• Physical Description: 1 online resource (viii, 94 pages) : illustrations (some color)

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