|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBSCO_ocm50174883 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
020604s2001 maua ob 001 0 eng d |
040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d OCLCQ
|d YDXCP
|d OCLCQ
|d TUU
|d OCLCQ
|d TNF
|d MERUC
|d SNM
|d OCLCQ
|d E7B
|d OCLCF
|d NLGGC
|d OCLCO
|d OCLCQ
|d MWM
|d AGLDB
|d OCLCQ
|d SAV
|d JBG
|d QT7
|d LUE
|d STF
|d OCLCQ
|d VTS
|d INT
|d TOF
|d OCLCQ
|d S9I
|d UKAHL
|d OCLCQ
|d K6U
|d ZGM
|d YDX
|d OCLCO
|d TUHNV
|d IEEEE
|d OCLCO
|d OCLCQ
|d IOY
|d OCLCQ
|d OCL
|d M8D
|d OCLCQ
|
019 |
|
|
|a 533449305
|a 702098185
|a 961567464
|a 962716116
|a 970748687
|a 1007399347
|a 1027030231
|a 1053365974
|a 1129139837
|a 1135436936
|a 1243606698
|a 1252727306
|
020 |
|
|
|a 1580534732
|q (electronic bk.)
|
020 |
|
|
|a 9781580534734
|q (electronic bk.)
|
029 |
1 |
|
|a AU@
|b 000051412847
|
029 |
1 |
|
|a AU@
|b 000062562546
|
029 |
1 |
|
|a DEBBG
|b BV043101866
|
029 |
1 |
|
|a DEBSZ
|b 422471879
|
029 |
1 |
|
|a GBVCP
|b 800857232
|
035 |
|
|
|a (OCoLC)50174883
|z (OCoLC)533449305
|z (OCoLC)702098185
|z (OCoLC)961567464
|z (OCoLC)962716116
|z (OCoLC)970748687
|z (OCoLC)1007399347
|z (OCoLC)1027030231
|z (OCoLC)1053365974
|z (OCoLC)1129139837
|z (OCoLC)1135436936
|z (OCoLC)1243606698
|z (OCoLC)1252727306
|
050 |
|
4 |
|a QA76.76.V47
|b R35 2001eb
|
072 |
|
7 |
|a COM
|x 051330
|2 bisacsh
|
082 |
0 |
4 |
|a 005.1/4
|2 21
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Rakitin, Steven R.
|
245 |
1 |
0 |
|a Software verification and validation for practitioners and managers /
|c Steven R. Rakitin.
|
250 |
|
|
|a 2nd ed.
|
260 |
|
|
|a Boston :
|b Artech House,
|c ©2001.
|
300 |
|
|
|a 1 online resource (xxv, 387 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a data file
|
500 |
|
|
|a Revised edition of: Software verification and validation.
|
504 |
|
|
|a Includes bibliographical references (page 366) and index.
|
505 |
0 |
|
|a Preface to the Second Edition -- Introduction -- Software in Perspective -- Software Development Life-Cycle Models -- Software Development Process -- Economic Justification -- Overview of Software Verification Activities -- The Inspection Process -- Applying the Inspection Process -- Software Quality Metrics -- Configuration Management -- Overview of Software Validation Activities -- Testing -- Validation Metrics -- Software Reliability Growth -- Predictable Software Development -- Motivation for Becoming Predictable -- Balancing Quality, Features, and Schedule -- Accurate Estimating and Scheduling -- Balancing People, Process, and Product -- Managing Commitment and Risk -- Appendix A. Inspection Roles and Responsibilities -- Appendix B.A Sample Inspection Process -- Appendix C. Inspection Process Forms -- Appendix D. Inspection Checklists -- Appendix E. Attributes of Good Requirements Specifications -- Appendix F. Sample Criteria for Selecting Modules for Code Inspection -- Appendix G. Sample Software Development Process Based on the Waterfall Model -- Appendix H. Document Outlines -- Appendix I. Test Cases for the Triangle Program -- Appendix J. Software Reliability Models -- Appendix K. The Yellow Sticky Method -- Appendix L. Software Development Best Practices -- Appendix M. Software Quality Best Practices -- Appendix N. Project Postmortems -- Appendix O. Root-Cause Analysis.
|
520 |
|
|
|a A concise and practical introduction to the basic principles of effective software verification and validation (V & V). This revised edition includes five new chapters and five new appendices focused on management techniques to make your company's software V & V efforts more cost-effective.
|
588 |
0 |
|
|a Print version record.
|
590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
650 |
|
0 |
|a Computer software
|x Verification.
|
650 |
|
0 |
|a Computer software
|x Validation.
|
650 |
|
0 |
|a Computer programs
|x Verification.
|
650 |
|
0 |
|a Computer programs
|x Validation.
|
650 |
|
6 |
|a Logiciels
|x Vérification.
|
650 |
|
6 |
|a Logiciels
|x Validation.
|
650 |
|
7 |
|a COMPUTERS
|x Software Development & Engineering
|x Quality Assurance & Testing.
|2 bisacsh
|
650 |
|
7 |
|a Computer programs
|x Verification.
|2 fast
|0 (OCoLC)fst00872448
|
650 |
|
7 |
|a Computer programs
|x Validation.
|2 fast
|0 (OCoLC)fst00872447
|
650 |
|
7 |
|a Computer software
|x Validation.
|2 fast
|0 (OCoLC)fst00872602
|
650 |
|
7 |
|a Computer software
|x Verification.
|2 fast
|0 (OCoLC)fst00872604
|
650 |
|
7 |
|a Qualitätskontrolle
|2 gnd
|
650 |
|
7 |
|a Software
|2 gnd
|
700 |
1 |
|
|a Rakitin, Steven R.
|t Software verification and validation.
|
776 |
0 |
8 |
|i Print version:
|a Rakitin, Steven R.
|t Software verification and validation for practitioners and managers.
|b 2nd ed.
|d Boston : Artech House, ©2001
|z 0585402507
|w (DLC) 2001022884
|
856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=67447
|z Texto completo
|
936 |
|
|
|a BATCHLOAD
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH20049995
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10607839
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 67447
|
938 |
|
|
|a IEEE
|b IEEE
|n 9100784
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 2358615
|
994 |
|
|
|a 92
|b IZTAP
|