000			03114nam a22004575i 4500
001			978-0-387-47939-2
003			DE-He213
005			20250710084001.0
007			cr nn 008mamaa
008			100301s2007 xxu| s |||| 0|eng d
020			_a9780387479392 _a99780387479392
024	7		_a10.1007/978-0-387-47939-2 _2doi
082	0	4	_a005.11 _223
100	1		_aFisher, Marcus S. _eauthor.
245	1	0	_aSoftware Verification and Validation _h[recurso electrónico] : _bAn Engineering and Scientific Approach / _cby Marcus S. Fisher.
264		1	_aBoston, MA : _bSpringer US, _c2007.
300			_aIX, 172 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
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.
650		0	_aCOMPUTER SCIENCE.
650		0	_aOPERATING SYSTEMS (COMPUTERS).
650		0	_aSOFTWARE ENGINEERING.
650		0	_aARTIFICIAL INTELLIGENCE.
650	1	4	_aCOMPUTER SCIENCE.
650	2	4	_aPROGRAMMING TECHNIQUES.
650	2	4	_aSOFTWARE ENGINEERING/PROGRAMMING AND OPERATING SYSTEMS.
650	2	4	_aPERFORMANCE AND RELIABILITY.
650	2	4	_aARTIFICIAL INTELLIGENCE (INCL. ROBOTICS).
650	2	4	_aSOFTWARE ENGINEERING.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387327259
856	4	0	_uhttp://dx.doi.org/10.1007/978-0-387-47939-2 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SCS
942			_2ddc _cER
999			_c57754 _d57754