000			03211nam a22004095i 4500
001			291537
003			MX-SnUAN
005			20160429154902.0
007			cr nn 008mamaa
008			150903s2005 xxk| o |||| 0|eng d
020			_a9781846281075 _99781846281075
024	7		_a10.1007/b138800 _2doi
035			_avtls000343653
039		9	_a201509030400 _bVLOAD _c201405070514 _dVLOAD _y201402061201 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.758
100	1		_aFitzgerald, John. _eautor _9322874
245	1	0	_aValidated Designs for Object-oriented Systems / _cby John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef.
264		1	_aLondon : _bSpringer London, _c2005.
300			_axii, 402 páginas 89 ilustraciones _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
500			_aSpringer eBooks
505	0		_aModels and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM System -- TradeOne: From Enterprise Architecture to Business Application -- From Models to Code -- Concurrency in VDM++ -- Model Quality -- Implementing in Java.
520			_aObject-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aLarsen, Peter Gorm. _eautor _9322875
700	1		_aMukherjee, Paul. _eautor _9322876
700	1		_aPlat, Nico. _eautor _9322877
700	1		_aVerhoef, Marcel. _eautor _9322878
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781852338817
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b138800 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c291537 _d291537