Highly dependable software:
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Amsterdam
Academic Press
2003
|
| Series: | Advances in computers
v. 58, 2002 |
| Subjects: | |
| Online Access: | FAW01 Volltext |
| Item Description: | Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners. * Includes in-depth surveys and tutorials on advances in Computer Technology.* Features the work of well-known authors and researchers in the field.* Provides a broad overview of important developments.* Contains extensive bibliographies Includes bibliographical references and index |
| Physical Description: | xv, 366 pages |
| ISBN: | 0120121581 9780120121588 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044378689 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 0120121581 |9 0-12-012158-1 | ||
| 020 | |a 9780120121588 |9 978-0-12-012158-8 | ||
| 035 | |a (ZDB-33-ESD)ocn162568906 | ||
| 035 | |a (OCoLC)162568906 | ||
| 035 | |a (DE-599)BVBBV044378689 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 005.1 |2 22 | |
| 245 | 1 | 0 | |a Highly dependable software |c edited by Marvin Zelkowitz |
| 264 | 1 | |a Amsterdam |b Academic Press |c 2003 | |
| 300 | |a xv, 366 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in computers |v v. 58, 2002 | |
| 500 | |a Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners. * Includes in-depth surveys and tutorials on advances in Computer Technology.* Features the work of well-known authors and researchers in the field.* Provides a broad overview of important developments.* Contains extensive bibliographies | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Logiciels | |
| 650 | 4 | |a Fiabilité | |
| 650 | 7 | |a Computer software |2 fast | |
| 650 | 7 | |a Reliability (Engineering) |2 fast | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Reliability (Engineering) | |
| 700 | 1 | |a Zelkowitz, Marvin V. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/bookseries/00652458/58 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029780911 | ||
| 966 | e | |u http://www.sciencedirect.com/science/bookseries/00652458/58 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177639535017984 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044378689 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn162568906 (OCoLC)162568906 (DE-599)BVBBV044378689 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02392nmm a2200433zcb4500</leader><controlfield tag="001">BV044378689</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120121581</subfield><subfield code="9">0-12-012158-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120121588</subfield><subfield code="9">978-0-12-012158-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn162568906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162568906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044378689</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Highly dependable software</subfield><subfield code="c">edited by Marvin Zelkowitz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Academic Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 366 pages</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in computers</subfield><subfield code="v">v. 58, 2002</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners. * Includes in-depth surveys and tutorials on advances in Computer Technology.* Features the work of well-known authors and researchers in the field.* Provides a broad overview of important developments.* Contains extensive bibliographies</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fiabilité</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reliability (Engineering)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reliability (Engineering)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zelkowitz, Marvin V.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/bookseries/00652458/58</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029780911</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/00652458/58</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044378689 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:17Z |
| institution | BVB |
| isbn | 0120121581 9780120121588 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029780911 |
| oclc_num | 162568906 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | xv, 366 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Academic Press |
| record_format | marc |
| series2 | Advances in computers |
| spelling | Highly dependable software edited by Marvin Zelkowitz Amsterdam Academic Press 2003 xv, 366 pages txt rdacontent c rdamedia cr rdacarrier Advances in computers v. 58, 2002 Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners. * Includes in-depth surveys and tutorials on advances in Computer Technology.* Features the work of well-known authors and researchers in the field.* Provides a broad overview of important developments.* Contains extensive bibliographies Includes bibliographical references and index Logiciels Fiabilité Computer software fast Reliability (Engineering) fast Computer software Reliability (Engineering) Zelkowitz, Marvin V. Sonstige oth http://www.sciencedirect.com/science/bookseries/00652458/58 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Highly dependable software Logiciels Fiabilité Computer software fast Reliability (Engineering) fast Computer software Reliability (Engineering) |
| title | Highly dependable software |
| title_auth | Highly dependable software |
| title_exact_search | Highly dependable software |
| title_full | Highly dependable software edited by Marvin Zelkowitz |
| title_fullStr | Highly dependable software edited by Marvin Zelkowitz |
| title_full_unstemmed | Highly dependable software edited by Marvin Zelkowitz |
| title_short | Highly dependable software |
| title_sort | highly dependable software |
| topic | Logiciels Fiabilité Computer software fast Reliability (Engineering) fast Computer software Reliability (Engineering) |
| topic_facet | Logiciels Fiabilité Computer software Reliability (Engineering) |
| url | http://www.sciencedirect.com/science/bookseries/00652458/58 |
| work_keys_str_mv | AT zelkowitzmarvinv highlydependablesoftware |