000 03455nam a22003615i 4500
001 291900
003 MX-SnUAN
005 20160429154924.0
007 cr nn 008mamaa
008 150903s2006 xxk| o |||| 0|eng d
020 _a9781846284359
_99781846284359
024 7 _a10.1007/1846284359
_2doi
035 _avtls000343842
039 9 _a201509030752
_bVLOAD
_c201404121009
_dVLOAD
_c201404090747
_dVLOAD
_y201402061206
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aO'Regan, Gerard.
_eautor
_9306563
245 1 0 _aMathematical Approaches to Software Quality /
_cby Gerard O'Regan.
264 1 _aLondon :
_bSpringer London,
_c2006.
300 _axv, 231 páginas 52 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 _aIntroduction -- Software Engineering Mathematics -- Logic for Software Engineering -- Z Specification Language -- Vienna Development Method -- Irish School of VDM -- Dijkstra and Hoare -- The Parnas Way -- Cleanroom and Software Reliability -- Unified Modeling Language -- Technology Transfer -- Glossary.
520 _aThe now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical methodologies needed for developing this high-quality software. The book explains the main features of these approaches and applies these mathematical methods to solve practical problems. For instance the chapter on technology transfer presents an overview of how these technologies may be transferred to industry. Topics and features include: • Expansive overview of popular formal specification methods such as Z and VDM • Introduction to Cleanroom and software reliability • Understanding on how to predict reliability of a software product using Cleanroom • Broad discussion of ideas of Parnas, Hare and Dijkstra on software quality • Introduction to UML • Technology transfer of formal methods This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches. A companion volume entitled A Practical Approach to Software Quality, also written by Gerard O’Regan, offers a comprehensive introduction to the field and pragmatic guidance on the implementation of a sound quality system in the organization.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781846282423
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/1-84628-435-9
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c291900
_d291900