by Rolf Drechsler (Contributor), Robert Wille (Contributor), Julia Seiter (Author)
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 specification by dedicated descriptions for structure or behavior.
Format: Paperback
Pages: 104
Edition: 1st ed. 2017
Publisher: Springer
Published: 11 Jul 2016
ISBN 10: 3319414798
ISBN 13: 9783319414799