Software Verification and Validation (Record no. 12303)
[ view plain ]
| 020 ## - | |
|---|---|
| -- | 9780387479392 |
| -- | 978-0-387-47939-2 |
| 024 7# - | |
| -- | 10.1007/978-0-387-47939-2 |
| -- | doi |
| 050 #4 - | |
| -- | QA76.6-76.66 |
| 072 #7 - | |
| -- | UM |
| -- | bicssc |
| 072 #7 - | |
| -- | COM051000 |
| -- | bisacsh |
| 082 04 - | |
| -- | 005.11 |
| -- | 23 |
| 100 1# - | |
| -- | Fisher, Marcus S. |
| -- | author. |
| 245 10 - | |
| -- | Software Verification and Validation |
| -- | [electronic resource] : |
| -- | An Engineering and Scientific Approach / |
| -- | by Marcus S. Fisher. |
| 264 #1 - | |
| -- | Boston, MA : |
| -- | Springer US, |
| -- | 2007. |
| 300 ## - | |
| -- | IX, 172 p. |
| -- | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 505 0# - | |
| -- | 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 ## - | |
| -- | 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 - | |
| -- | Computer science. |
| 650 #0 - | |
| -- | Operating systems (Computers). |
| 650 #0 - | |
| -- | Software engineering. |
| 650 #0 - | |
| -- | Artificial intelligence. |
| 650 14 - | |
| -- | Computer Science. |
| 650 24 - | |
| -- | Programming Techniques. |
| 650 24 - | |
| -- | Software Engineering/Programming and Operating Systems. |
| 650 24 - | |
| -- | Performance and Reliability. |
| 650 24 - | |
| -- | Artificial Intelligence (incl. Robotics). |
| 650 24 - | |
| -- | Software Engineering. |
| 710 2# - | |
| -- | SpringerLink (Online service) |
| 773 0# - | |
| -- | Springer eBooks |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9780387327259 |
| 856 40 - | |
| -- | http://dx.doi.org/10.1007/978-0-387-47939-2 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 950 ## - | |
| -- | Computer Science (Springer-11645) |
| 999 ## - | |
| -- | 12303 |
| -- | 12303 |
No items available.