Software Verification and Validation An Engineering and Scientific Approach /

The 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 t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fisher, Marcus S. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Software engineering.
Computer programming.
Computers.
Artificial intelligence.
Software Engineering.
Programming Techniques.
Hardware Performance and Reliability.
Artificial Intelligence.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-0-387-47939-2
003 DE-He213
005 20220119175814.0
007 cr nn 008mamaa
008 100301s2007 xxu| s |||| 0|eng d
020 |a 9780387479392  |9 978-0-387-47939-2 
024 7 |a 10.1007/978-0-387-47939-2  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
100 1 |a Fisher, Marcus S.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Software Verification and Validation  |h [electronic resource] :  |b An Engineering and Scientific Approach /  |c by Marcus S. Fisher. 
250 |a 1st ed. 2007. 
264 1 |a New York, NY :  |b Springer US :  |b Imprint: Springer,  |c 2007. 
300 |a X, 172 p. 20 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Preface -- 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 |a The 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 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Computers. 
650 0 |a Artificial intelligence. 
650 1 4 |a Software Engineering. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Hardware Performance and Reliability. 
650 2 4 |a Artificial Intelligence. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781441941008 
776 0 8 |i Printed edition:  |z 9780387512549 
776 0 8 |i Printed edition:  |z 9780387327259 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-0-387-47939-2  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares