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)

• New

  Paperback
  2016

  $58.60

  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.