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: Electronic eBook
• Language: English
• Published: Switzerland : Springer, [2016]
• Series: SpringerBriefs in electrical and computer engineering.
• Subjects: System design > Data processing.; elektronické knihy; electronic books

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