000			03088nam a2200445 i 4500
710	2		_aSpringerLink (Online service) _0http://id.loc.gov/authorities/names/no2005046756 _1http://viaf.org/viaf/274647764/ _9106996
999			_c102501 _d102501 _x1
001			102501
003			ES-MaUEC
005			20230102113045.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			180122s2018 gw a s |||| 0|eng d
020			_a9783319728148
024	7		_a10.1007/978-3-319-72814-8 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050			_aQA76.9.O35 _b2018 EB
100	1		_aPrzigoda, Nils _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _1http://viaf.org/viaf/9153773486461432340/ _9673793
245	1	0	_aAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers _cby Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
264		1	_aCham _bSpringer International Publishing _c2018
300			_a1 recurso en línea (XII, 255 páginas) _b16 ilustraciones, 5 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aEngineering (Springer-11647)
520	3		_aThis book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.  Additionally, the design flow described is applied to a broad variety of validation and verification tasks.  The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches.
988			_aEBSPRINGER_2018
650		7	_2embne _9152887 _aDiseño orientado a objetos
650		7	_2embne _9155511 _aUML (Informática)
650		7	_2embne _aSoftware _9143838
700	1		_999113 _aWille, Robert _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _0http://id.loc.gov/authorities/names/nb2010029916 _1http://viaf.org/viaf/24773049/
700	1		_aPrzigoda, Judith _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _9673794
700	1		_aDrechsler, Rolf _eautor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _0http://id.loc.gov/authorities/names/n98033803 _1http://viaf.org/viaf/64793347/ _999112
776	0	8	_iEdición impresa: _z9783319728131
776	0	8	_iEdición impresa: _z9783319728155
776	0	8	_iEdición impresa: _z9783319892146
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-72814-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b05/2020 _dz _ek _zSI