Software Verification and Validation: An Engineering and Scientific Approach

Fisher, Marcus S.

ISBN 10: 1441941002 / ISBN 13: 9781441941008

Edité par Springer, 2010

In. N° de réf. du vendeur ria9781441941008_new

Synopsis :

This book fills the critical need for in-depth technical reference providing the methods and techniques for maintaining confidence in many varieties of system software. In today’s technological marketplace, not only are governments more focused on software safety, but private industry and academia are as well. The means for testing and ensuring reliability and safety in mission critical software is commonly termed software verification and validation. This is a book for technical professionals who must perform software verification and validation on high-fidelity systems. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 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. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Présentation de l'éditeur:

This book is an in-depth technical reference providing methods and techniques for building and maintaining confidence in system software, helping to answer such critical questions as: 1) Are we building the right software? and 2) Are we building the software right?

Détails bibliographiques

Titre : Software Verification and Validation: An ...
Éditeur : Springer
Date d'édition : 2010
Reliure : Couverture souple
Etat : New