Software verification and validation for practitioners and managers /:
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-effect...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Boston :
Artech House,
©2001.
|
Ausgabe: | 2nd ed. |
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | 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. |
Beschreibung: | Revised edition of: Software verification and validation. |
Beschreibung: | 1 online resource (xxv, 387 pages) : illustrations |
Bibliographie: | Includes bibliographical references (page 366) and index. |
ISBN: | 1580534732 9781580534734 |
Internformat
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocm50174883 | ||
003 | OCoLC | ||
005 | 20241004212047.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 |d OCLCO | ||
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.) | ||
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 | 7 | |a 005.1/4 |2 21 | |
049 | |a MAIN | ||
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. | |
650 | 0 | |a Computer software |x Verification. |0 http://id.loc.gov/authorities/subjects/sh85029537 | |
650 | 0 | |a Computer software |x Validation. |0 http://id.loc.gov/authorities/subjects/sh85029536 | |
650 | 0 | |a Computer programs |x Verification. |0 http://id.loc.gov/authorities/subjects/sh85029528 | |
650 | 0 | |a Computer programs |x Validation. |0 http://id.loc.gov/authorities/subjects/sh85029527 | |
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 | |
650 | 7 | |a Computer programs |x Validation |2 fast | |
650 | 7 | |a Computer software |x Validation |2 fast | |
650 | 7 | |a Computer software |x Verification |2 fast | |
650 | 7 | |a Qualitätskontrolle |2 gnd |0 http://d-nb.info/gnd/4047968-7 | |
650 | 7 | |a Software |2 gnd |0 http://d-nb.info/gnd/4055382-6 | |
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 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=67447 |3 Volltext |
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 GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocm50174883 |
---|---|
_version_ | 1816881600178159616 |
adam_text | |
any_adam_object | |
author | Rakitin, Steven R. |
author2 | Rakitin, Steven R. |
author2_role | |
author2_variant | s r r sr srr |
author_facet | Rakitin, Steven R. Rakitin, Steven R. |
author_role | |
author_sort | Rakitin, Steven R. |
author_variant | s r r sr srr |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.76.V47 R35 2001eb |
callnumber-search | QA76.76.V47 R35 2001eb |
callnumber-sort | QA 276.76 V47 R35 42001EB |
callnumber-subject | QA - Mathematics |
collection | ZDB-4-EBA |
contents | 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. |
ctrlnum | (OCoLC)50174883 |
dewey-full | 005.1/4 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1/4 |
dewey-search | 005.1/4 |
dewey-sort | 15.1 14 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
edition | 2nd ed. |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05063cam a2200649 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm50174883 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">020604s2001 maua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TNF</subfield><subfield code="d">MERUC</subfield><subfield code="d">SNM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MWM</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SAV</subfield><subfield code="d">JBG</subfield><subfield code="d">QT7</subfield><subfield code="d">LUE</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">INT</subfield><subfield code="d">TOF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S9I</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">ZGM</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">TUHNV</subfield><subfield code="d">IEEEE</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">533449305</subfield><subfield code="a">702098185</subfield><subfield code="a">961567464</subfield><subfield code="a">962716116</subfield><subfield code="a">970748687</subfield><subfield code="a">1007399347</subfield><subfield code="a">1027030231</subfield><subfield code="a">1053365974</subfield><subfield code="a">1129139837</subfield><subfield code="a">1135436936</subfield><subfield code="a">1243606698</subfield><subfield code="a">1252727306</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1580534732</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781580534734</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50174883</subfield><subfield code="z">(OCoLC)533449305</subfield><subfield code="z">(OCoLC)702098185</subfield><subfield code="z">(OCoLC)961567464</subfield><subfield code="z">(OCoLC)962716116</subfield><subfield code="z">(OCoLC)970748687</subfield><subfield code="z">(OCoLC)1007399347</subfield><subfield code="z">(OCoLC)1027030231</subfield><subfield code="z">(OCoLC)1053365974</subfield><subfield code="z">(OCoLC)1129139837</subfield><subfield code="z">(OCoLC)1135436936</subfield><subfield code="z">(OCoLC)1243606698</subfield><subfield code="z">(OCoLC)1252727306</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.V47</subfield><subfield code="b">R35 2001eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051330</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">21</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rakitin, Steven R.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification and validation for practitioners and managers /</subfield><subfield code="c">Steven R. Rakitin.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2nd ed.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Boston :</subfield><subfield code="b">Artech House,</subfield><subfield code="c">©2001.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxv, 387 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Revised edition of: Software verification and validation.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (page 366) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029537</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Validation.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029536</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programs</subfield><subfield code="x">Verification.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029528</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programs</subfield><subfield code="x">Validation.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029527</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Vérification.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Validation.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">Quality Assurance & Testing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programs</subfield><subfield code="x">Validation</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Validation</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4047968-7</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4055382-6</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rakitin, Steven R.</subfield><subfield code="t">Software verification and validation.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Rakitin, Steven R.</subfield><subfield code="t">Software verification and validation for practitioners and managers.</subfield><subfield code="b">2nd ed.</subfield><subfield code="d">Boston : Artech House, ©2001</subfield><subfield code="z">0585402507</subfield><subfield code="w">(DLC) 2001022884</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=67447</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH20049995</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10607839</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">67447</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">IEEE</subfield><subfield code="b">IEEE</subfield><subfield code="n">9100784</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2358615</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
id | ZDB-4-EBA-ocm50174883 |
illustrated | Illustrated |
indexdate | 2024-11-27T13:15:17Z |
institution | BVB |
isbn | 1580534732 9781580534734 |
language | English |
oclc_num | 50174883 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource (xxv, 387 pages) : illustrations |
psigel | ZDB-4-EBA |
publishDate | 2001 |
publishDateSearch | 2001 |
publishDateSort | 2001 |
publisher | Artech House, |
record_format | marc |
spelling | Rakitin, Steven R. Software verification and validation for practitioners and managers / Steven R. Rakitin. 2nd ed. Boston : Artech House, ©2001. 1 online resource (xxv, 387 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Revised edition of: Software verification and validation. Includes bibliographical references (page 366) and index. 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. 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. Print version record. Computer software Verification. http://id.loc.gov/authorities/subjects/sh85029537 Computer software Validation. http://id.loc.gov/authorities/subjects/sh85029536 Computer programs Verification. http://id.loc.gov/authorities/subjects/sh85029528 Computer programs Validation. http://id.loc.gov/authorities/subjects/sh85029527 Logiciels Vérification. Logiciels Validation. COMPUTERS Software Development & Engineering Quality Assurance & Testing. bisacsh Computer programs Verification fast Computer programs Validation fast Computer software Validation fast Computer software Verification fast Qualitätskontrolle gnd http://d-nb.info/gnd/4047968-7 Software gnd http://d-nb.info/gnd/4055382-6 Rakitin, Steven R. Software verification and validation. Print version: Rakitin, Steven R. Software verification and validation for practitioners and managers. 2nd ed. Boston : Artech House, ©2001 0585402507 (DLC) 2001022884 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=67447 Volltext |
spellingShingle | Rakitin, Steven R. Software verification and validation for practitioners and managers / 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. Computer software Verification. http://id.loc.gov/authorities/subjects/sh85029537 Computer software Validation. http://id.loc.gov/authorities/subjects/sh85029536 Computer programs Verification. http://id.loc.gov/authorities/subjects/sh85029528 Computer programs Validation. http://id.loc.gov/authorities/subjects/sh85029527 Logiciels Vérification. Logiciels Validation. COMPUTERS Software Development & Engineering Quality Assurance & Testing. bisacsh Computer programs Verification fast Computer programs Validation fast Computer software Validation fast Computer software Verification fast Qualitätskontrolle gnd http://d-nb.info/gnd/4047968-7 Software gnd http://d-nb.info/gnd/4055382-6 |
subject_GND | http://id.loc.gov/authorities/subjects/sh85029537 http://id.loc.gov/authorities/subjects/sh85029536 http://id.loc.gov/authorities/subjects/sh85029528 http://id.loc.gov/authorities/subjects/sh85029527 http://d-nb.info/gnd/4047968-7 http://d-nb.info/gnd/4055382-6 |
title | Software verification and validation for practitioners and managers / |
title_alt | Software verification and validation. |
title_auth | Software verification and validation for practitioners and managers / |
title_exact_search | Software verification and validation for practitioners and managers / |
title_full | Software verification and validation for practitioners and managers / Steven R. Rakitin. |
title_fullStr | Software verification and validation for practitioners and managers / Steven R. Rakitin. |
title_full_unstemmed | Software verification and validation for practitioners and managers / Steven R. Rakitin. |
title_short | Software verification and validation for practitioners and managers / |
title_sort | software verification and validation for practitioners and managers |
topic | Computer software Verification. http://id.loc.gov/authorities/subjects/sh85029537 Computer software Validation. http://id.loc.gov/authorities/subjects/sh85029536 Computer programs Verification. http://id.loc.gov/authorities/subjects/sh85029528 Computer programs Validation. http://id.loc.gov/authorities/subjects/sh85029527 Logiciels Vérification. Logiciels Validation. COMPUTERS Software Development & Engineering Quality Assurance & Testing. bisacsh Computer programs Verification fast Computer programs Validation fast Computer software Validation fast Computer software Verification fast Qualitätskontrolle gnd http://d-nb.info/gnd/4047968-7 Software gnd http://d-nb.info/gnd/4055382-6 |
topic_facet | Computer software Verification. Computer software Validation. Computer programs Verification. Computer programs Validation. Logiciels Vérification. Logiciels Validation. COMPUTERS Software Development & Engineering Quality Assurance & Testing. Computer programs Verification Computer programs Validation Computer software Validation Computer software Verification Qualitätskontrolle Software |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=67447 |
work_keys_str_mv | AT rakitinstevenr softwareverificationandvalidationforpractitionersandmanagers |