000 | 02976nam a22003615i 4500 | ||
---|---|---|---|
001 | 280184 | ||
003 | MX-SnUAN | ||
005 | 20160429154014.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2007 xxu| o |||| 0|eng d | ||
020 |
_a9780387479392 _99780387479392 |
||
024 | 7 |
_a10.1007/9780387479392 _2doi |
|
035 | _avtls000331551 | ||
039 | 9 |
_a201509030755 _bVLOAD _c201404121901 _dVLOAD _c201404091629 _dVLOAD _c201401311419 _dstaff _y201401301212 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.6-76.66 | |
100 | 1 |
_aFisher, Marcus S. _eautor _9304952 |
|
245 | 1 | 0 |
_aSoftware Verification and Validation : _bAn Engineering and Scientific Approach / _cby Marcus S. Fisher. |
264 | 1 |
_aBoston, MA : _bSpringer US, _c2007. |
|
300 |
_aIx, 172 páginas, _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 | _aPreface -- Introduction -- Managing Verification and Validation -- The Axioms of Leadership -- Planning -- Managing the Plan -- Risk Management -- Communication Structures -- Risks and Issue Management -- Communication Structures -- The Verification and Validation Life Cycle -- Traceability Analysis -- Interface Analysis -- Phase Dependent Analysis -- V&V Testing -- Systems Verification and Validation -- Index. | |
520 | _aThe World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. This book is also suitable as a secondary textbook for advanced-level students in computer science and engineering. | ||
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: _z9780387327259 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-47939-2 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c280184 _d280184 |