Julia Seiter: 1 book
Automatic Methods for the Refinement of System Models
From the Specification to the Implementation
Language: English
Release Date: July 4, 2016
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...
