Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

by Rolf Drechsler (Contributor), Robert Wille (Contributor), Julia Seiter (Author)

Synopsis

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.

$60.53

Save:$4.32 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 104
Edition: 1st ed. 2017
Publisher: Springer
Published: 11 Jul 2016

ISBN 10: 3319414798
ISBN 13: 9783319414799