000 03225nam a22005655i 4500
001 978-3-319-41480-5
003 DE-He213
005 20220801222355.0
007 cr nn 008mamaa
008 160704s2017 sz | s |||| 0|eng d
020 _a9783319414805
_9978-3-319-41480-5
024 7 _a10.1007/978-3-319-41480-5
_2doi
050 4 _aTK7867-7867.5
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aTJFC
_2thema
082 0 4 _a621.3815
_223
100 1 _aSeiter, Julia.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_961151
245 1 0 _aAutomatic Methods for the Refinement of System Models
_h[electronic resource] :
_bFrom the Specification to the Implementation /
_cby Julia Seiter, Robert Wille, Rolf Drechsler.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aVIII, 94 p. 30 illus., 5 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSpringerBriefs in Electrical and Computer Engineering,
_x2191-8120
505 0 _aIntroduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions.
520 _aThis 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 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. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.
650 0 _aElectronic circuits.
_919581
650 0 _aMicroprocessors.
_961152
650 0 _aComputer architecture.
_93513
650 0 _aElectronics.
_93425
650 1 4 _aElectronic Circuits and Systems.
_961153
650 2 4 _aProcessor Architectures.
_961154
650 2 4 _aElectronics and Microelectronics, Instrumentation.
_932249
700 1 _aWille, Robert.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_961155
700 1 _aDrechsler, Rolf.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_91810
710 2 _aSpringerLink (Online service)
_961156
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319414799
776 0 8 _iPrinted edition:
_z9783319414812
830 0 _aSpringerBriefs in Electrical and Computer Engineering,
_x2191-8120
_961157
856 4 0 _uhttps://doi.org/10.1007/978-3-319-41480-5
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c80699
_d80699