Software reliability methods:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Springer
2001
|
| Schriftenreihe: | Texts in computer science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIX, 331 S. graph. Darst. |
| ISBN: | 0387951067 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013857559 | ||
| 003 | DE-604 | ||
| 005 | 20171221 | ||
| 007 | t | ||
| 008 | 010807s2001 d||| |||| 00||| eng d | ||
| 020 | |a 0387951067 |9 0-387-95106-7 | ||
| 035 | |a (OCoLC)248075346 | ||
| 035 | |a (DE-599)BVBBV013857559 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 |a DE-29T |a DE-739 |a DE-19 |a DE-703 |a DE-384 |a DE-473 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-91G | ||
| 050 | 0 | |a QA76.76.R44 | |
| 082 | 0 | |a 005 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 343f |2 stub | ||
| 100 | 1 | |a Peled, Doron |d 1962- |e Verfasser |0 (DE-588)123117976 |4 aut | |
| 245 | 1 | 0 | |a Software reliability methods |c Doron A. Peled |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2001 | |
| 300 | |a XIX, 331 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts in computer science | |
| 650 | 4 | |a Software - Zuverlässigkeit | |
| 650 | 4 | |a Software - Zuverlässigkeit - Formale Methode | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätssicherung |0 (DE-588)4126457-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarewerkzeug |0 (DE-588)4116526-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prüfung |0 (DE-588)4047609-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reliabilität |0 (DE-588)4213628-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 1 | |a Softwarewerkzeug |0 (DE-588)4116526-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 1 | 1 | |a Reliabilität |0 (DE-588)4213628-3 |D s |
| 689 | 1 | 2 | |a Prüfung |0 (DE-588)4047609-1 |D s |
| 689 | 1 | 3 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 2 | 1 | |a Qualitätssicherung |0 (DE-588)4126457-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 3 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 3 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009477262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009477262 | ||
Datensatz im Suchindex
| _version_ | 1804128690272993280 |
|---|---|
| adam_text | Titel: Software reliability methods
Autor: Peled, Doron
Jahr: 2001
Contents
1. Introduction............................................................................................1
1.1 Formal Methods................................................................................2
1.2 Developing and Acquiring Formal Methods................................5
1.3 Using Formal Methods....................................................................7
1.4 Applying Formal Methods..............................................................9
1.5 Overview of the Book......................................................................11
2. Preliminaries..........................................................................................13
2.1 Set Notation......................................................................................13
2.2 Strings and Languages....................................................................15
2.3 Graphs................................................................................................16
2.4 Computational Complexity and Computability..........................20
2.5 Further Reading................................................................................27
3. Logic and Theorem Proving............................................................29
3.1 First Order Logic..............................................................................29
3.2 Terms..................................................................................................30
3.3 First Order Formulas......................................................................33
3.4 Propositional Logic..........................................................................39
3.5 Proving First Order Logic Formulas..............................................39
3.6 Properties of Proof Systems............................................................43
3.7 Proving Propositional Logic Properties...........................46
3.8 A Practical Proof System................................................................47
3.9 Example Proofs................................................................................50
3.10 Machine Assisted Proofs..................................................................59
3.11 Mechanized Theorem Provers........................................................61
3.12 Further Reading................................................................................61
4. Modeling Software Systems..............................................................63
4.1 Sequential, Concurrent and Reactive Systems............................64
4.2 States..................................................................................................67
4.3 State Spaces......................................................................................68
4.4 Transition Systems..........................................................................71
4.5 Granularity of Transitions..................-........................75
xiv Contents
4.6 Examples of Modeling Programs ......................... ^7
4.7 Nondeterministic Transitions.............................
4.8 Assigning Propositional Variables to States................
4.9 Combining State Spaces................................. ^8
4.10 The Linear View....................................... ^
4.11 The Branching View....................................
4.12 Fairness............................................... ^
4.13 The Partial Order View................................. ^8
4.14 Modeling Formalisms...................................
4.15 A Modeling Project.....................................^
4.16 Further Reading........................................
5. Formal Specification......................................
5.1 Properties of Specification Formalisms....................114
5.2 Linear Temporal Logic..................................116
5.3 Axiomatizing LTL......................................121
5.4 Examples of LTL Specification...........................123
5.5 Automata on Infinite Words.............................127
5.6 Specification using Biichi-automata.......................129
5.7 Deterministic Biichi Automata...........................132
5.8 Alternative Specification Formalisms......................133
5.9 Complicated Specifications ..............................136
5.10 Completeness of Specification............................136
5.11 Further Reading........................................138
6. Automatic Verification....................................139
6.1 State Space Search.....................................140
6.2 Representing States.....................................143
6.3 The Automata Framework...............................143
6.4 Combining Biichi Automata.............................145
6.5 Complementing a Biichi Automaton......................151
6.6 Checking Emptiness....................................152
6.7 A Model Checking Example .............................154
6.8 Translating LTL into Automata..........................156
6.9 The Complexity of Model Checking.......................164
6.10 Representing Fairness...................................169
6.11 Checking the LTL Specifications..........................170
6.12 Safety Properties.......................................171
6.13 The State Space Explosion Problem......................172
6.14 Advantages of Model Checking...........................174
6.15 Weaknesses of Model Checking...........................174
6.16 Selecting Automatic Verification Tools....................175
6.17 Model Checking Projects................................175
6.18 Model Checking Tools.............................. 175
6.19 Further Reading...................................... 177
Contents xv
7. Deductive Software Verification...........................179
7.1 Verification of Flow Chart Programs......................180
7.2 Verification with Array Variables.........................187
7.3 Total Correctness.......................................190
7.4 Axiomatic Program Verification..........................195
7.5 Verification of Concurrent Programs......................202
7.6 Advantages of Deductive Verification......................207
7.7 Weaknesses of Deductive verification......................208
7.8 Soundness and Completeness of Proof Systems.............210
7.9 Compositionality.......................................212
7.10 Deductive Verification Tools.............................213
7.11 Further Reading........................................213
8. Process Algebra and Equivalences........................215
8.1 Process Algebras.......................................217
8.2 A Calculus of Communicating Systems....................218
8.3 An Example: Dekker s Algorithm.........................225
8.4 Modeling Issues........................................229
8.5 Equivalences between Agents ............................230
8.5.1 Trace equivalence.................................231
8.5.2 Failure equivalence...............................232
8.5.3 Simulation Equivalence ...........................233
8.5.4 Bisimulation and Weak Bisimulation equivalence.....235
8.6 A Hierarchy of Equivalence Relations.....................237
8.7 Studying Concurrency using Process Algebra ..............238
8.8 Calculating Bisimulation Equivalence.....................242
8.9 LOTOS...............................................245
8.10 Process Algebra Tools...................................247
8.11 Further Reading........................................247
9. Software Testing..........................................249
9.1 Inspections and Walkthroughs ...........................251
9.2 Control Flow Coverage Criteria..........................253
9.3 Dataflow Coverage Criteria..............................259
9.4 Propagating path conditions.............................261
9.5 Equivalence Partition...................................267
9.6 Preparing the Code for Testing...........................267
9.7 Checking the Test Suite.................................269
9.8 Compositionality.......................................270
9.9 Black Box Testing......................................272
9.10 Probabilistic Testing....................................275
9.11 Advantages of Testing...................................276
9.12 Disadvantages of Testing................................277
9.13 Testing Tools..........................................278
9.14 Further Reading........................................278
xvi Contents
10. Combining Formal Methods..............................279
10.1 Abstraction............................................279
10.2 Combining Testing and Model Checking...................286
10.2.1 Direct Checking..................................286
10.2.2 Black Box Systems...............................287
10.2.3 Combination Lock Automata......................288
10.2.4 Black Box Deadlock Detection.....................289
10.2.5 Conformance Testing.............................290
10.2.6 Checking the Reliability of Resets..................294
10.2.7 Black Box Checking..............................294
10.3 The Cleanroom Method .................................297
11. Visualization.............................................299
11.1 Using Visualizations for Formal Methods..................300
11.2 Message Sequence Charts................................300
11.3 Visualizing Flowcharts and State Machines................305
11.4 Hierarchical State Graphs...............................308
11.5 Visualizing Program Text ...............................312
11.6 Petri Nets.............................................312
11.7 Visualization Tools.....................................314
11.8 Further Reading........................................316
12. Conclusions...............................................317
References...............................................321
Index...................................................329
|
| any_adam_object | 1 |
| author | Peled, Doron 1962- |
| author_GND | (DE-588)123117976 |
| author_facet | Peled, Doron 1962- |
| author_role | aut |
| author_sort | Peled, Doron 1962- |
| author_variant | d p dp |
| building | Verbundindex |
| bvnumber | BV013857559 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.R44 |
| callnumber-search | QA76.76.R44 |
| callnumber-sort | QA 276.76 R44 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 233 |
| classification_tum | DAT 343f |
| ctrlnum | (OCoLC)248075346 (DE-599)BVBBV013857559 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02479nam a2200625 c 4500</leader><controlfield tag="001">BV013857559</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171221 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010807s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387951067</subfield><subfield code="9">0-387-95106-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248075346</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013857559</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.R44</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Peled, Doron</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123117976</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software reliability methods</subfield><subfield code="c">Doron A. Peled</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 331 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Texts in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Zuverlässigkeit</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Zuverlässigkeit - Formale Methode</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prüfung</subfield><subfield code="0">(DE-588)4047609-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reliabilität</subfield><subfield code="0">(DE-588)4213628-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Reliabilität</subfield><subfield code="0">(DE-588)4213628-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Prüfung</subfield><subfield code="0">(DE-588)4047609-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009477262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009477262</subfield></datafield></record></collection> |
| id | DE-604.BV013857559 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:53:15Z |
| institution | BVB |
| isbn | 0387951067 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009477262 |
| oclc_num | 248075346 |
| open_access_boolean | |
| owner | DE-824 DE-29T DE-739 DE-19 DE-BY-UBM DE-703 DE-384 DE-473 DE-BY-UBG DE-706 DE-634 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-824 DE-29T DE-739 DE-19 DE-BY-UBM DE-703 DE-384 DE-473 DE-BY-UBG DE-706 DE-634 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XIX, 331 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts in computer science |
| spelling | Peled, Doron 1962- Verfasser (DE-588)123117976 aut Software reliability methods Doron A. Peled New York [u.a.] Springer 2001 XIX, 331 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts in computer science Software - Zuverlässigkeit Software - Zuverlässigkeit - Formale Methode Softwaretest (DE-588)4132652-0 gnd rswk-swf Qualitätssicherung (DE-588)4126457-5 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Softwarewerkzeug (DE-588)4116526-3 gnd rswk-swf Prüfung (DE-588)4047609-1 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf Reliabilität (DE-588)4213628-3 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Softwaretest (DE-588)4132652-0 s Softwarewerkzeug (DE-588)4116526-3 s DE-604 Software (DE-588)4055382-6 s Reliabilität (DE-588)4213628-3 s Prüfung (DE-588)4047609-1 s Methode (DE-588)4038971-6 s Qualitätssicherung (DE-588)4126457-5 s Zuverlässigkeit (DE-588)4059245-5 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009477262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Peled, Doron 1962- Software reliability methods Software - Zuverlässigkeit Software - Zuverlässigkeit - Formale Methode Softwaretest (DE-588)4132652-0 gnd Qualitätssicherung (DE-588)4126457-5 gnd Software (DE-588)4055382-6 gnd Softwarewerkzeug (DE-588)4116526-3 gnd Prüfung (DE-588)4047609-1 gnd Methode (DE-588)4038971-6 gnd Reliabilität (DE-588)4213628-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4126457-5 (DE-588)4055382-6 (DE-588)4116526-3 (DE-588)4047609-1 (DE-588)4038971-6 (DE-588)4213628-3 (DE-588)4059245-5 |
| title | Software reliability methods |
| title_auth | Software reliability methods |
| title_exact_search | Software reliability methods |
| title_full | Software reliability methods Doron A. Peled |
| title_fullStr | Software reliability methods Doron A. Peled |
| title_full_unstemmed | Software reliability methods Doron A. Peled |
| title_short | Software reliability methods |
| title_sort | software reliability methods |
| topic | Software - Zuverlässigkeit Software - Zuverlässigkeit - Formale Methode Softwaretest (DE-588)4132652-0 gnd Qualitätssicherung (DE-588)4126457-5 gnd Software (DE-588)4055382-6 gnd Softwarewerkzeug (DE-588)4116526-3 gnd Prüfung (DE-588)4047609-1 gnd Methode (DE-588)4038971-6 gnd Reliabilität (DE-588)4213628-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| topic_facet | Software - Zuverlässigkeit Software - Zuverlässigkeit - Formale Methode Softwaretest Qualitätssicherung Software Softwarewerkzeug Prüfung Methode Reliabilität Zuverlässigkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009477262&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT peleddoron softwarereliabilitymethods |