Tallenna
Automatic Methods for the Refinement of System Models
Kirjailija:
nidottu, 2016
englanti
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.
- Alaotsikko
- From the Specification to the Implementation
- Kirjailija
- Julia Seiter, Robert Wille, Rolf Drechsler
- Painos
- 1st ed. 2017
- ISBN
- 9783319414799
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.7.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 94
