000			02839cam a2200457Ii 4500
999			_c94422 _d94422 _x1
001			94422
003			ES-MaUEC
005			20230102112612.0
006			m o d
007			cr cnu|||unuuu
008			160712t20162017sz a ob 000 0 eng d
020			_a3319414798 _q(print)
020			_a3319414801 _q(electronic bk.)
020			_a9783319414799 _q(print)
020			_a9783319414805 _q(electronic bk.)
020			_z9783319414799
035			_a(OCoLC)953456258
040			_aN$T _cN$T _dYDXCP _dIDEBK _dGW5XE _dN$T _dOCLCF _dCOO _dUAB _dOCLCQ _dIOG _dESU _dZ5A _dJBG _dIAD _dICW _dICN _dOTZ _dOCLCQ _dU3W _dES-MaUEC _bspa
050		4	_aQA76.9 .S88 _b2017 EB
100	1		_aSeiter, Julia _eautor _9677456
245	1	0	_aAutomatic methods for the refinement of system models : _bfrom the specification to the implementation _cJulia Seiter, Robert Wille, Rolf Drechsler
264		1	_aSwitzerland _bSpringer _c[2016]
264		4	_c2017
300			_a1 recurso en línea (viii, 94 páginas) _bilustraciones (algunas a color)
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aSpringerBriefs in electrical and computer engineering _x2191-8112
500			_aSpringerLink
504			_aIncluye referencias bibliográficas
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	3		_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.
588	0		_aOnline resource; title from PDF title page (SpringerLink, viewed July 15, 2016).
988			_aEBOOK, EBSPRINGER_2017A
650		7	_aDiseño de sistemas _2embne _9158356
700	1		_aDrechsler, Rolf _eautor _999112
700	1		_999113 _aWille, Robert _eautor
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=http://link.springer.com/10.1007/978-3-319-41480-5 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b02/2018 _dz _e- _zSI