Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

by Rolf Drechsler, Julia Seiter, Robert Wille

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

• Format: Paperback
• Language: English
• ISBN: 3319414798
• ISBN13: 9783319414799
• Release Date: July 2016
• Publisher: Springer
• Length: 94 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"