| 000 | 00997camuu22002897a 4500 | |
| 001 | 000045359217 | |
| 005 | 20070604135800 | |
| 008 | 060913s2007 nyua b 001 0 eng | |
| 010 | ▼a 2006934593 | |
| 015 | ▼a GBA679966 ▼2 bnb | |
| 020 | ▼a 0387327258 (hbk.) | |
| 020 | ▼a 9780387327259 (hbk.) | |
| 035 | ▼a (KERIS)REF000013096006 | |
| 040 | ▼a UKM ▼c UKM ▼d BAKER ▼d OHX ▼d IUL ▼d YDXCP ▼d DLC ▼d 211009 | |
| 042 | ▼a lccopycat | |
| 050 | 0 0 | ▼a QA76.76.V47 ▼b F57 2007 |
| 082 | 0 4 | ▼a 005.14 ▼2 22 |
| 090 | ▼a 005.14 ▼b F535s | |
| 100 | 1 | ▼a Fisher, Marcus S. |
| 245 | 1 0 | ▼a Software verification and validation : ▼b an engineering and scientific approach / ▼c by Marcus S. Fisher. |
| 260 | ▼a New York ; ▼a London : ▼b Springer , ▼c c2007. | |
| 300 | ▼a 172 p. : ▼b ill. ; ▼c 24 cm. | |
| 540 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer software ▼x Validation. |
| 650 | 0 | ▼a Computer software ▼x Verification. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.14 F535s | 등록번호 121147322 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. 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.
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?
The World is lacking an in-depth technical book describing the meth ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to day'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 tech nical 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.
New feature
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.
정보제공 :
목차
Managing Verification and Validation.- The Verification and Validation Life Cycle.- Systems V&V.
정보제공 :