Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools
During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical softwa...
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1989
|
| Ausgabe: | Second Edition |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-94-009-1121-5 https://doi.org/10.1007/978-94-009-1121-5 |
| Zusammenfassung: | During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them |
| Umfang: | 1 Online-Ressource (XVIII, 284 p) |
| ISBN: | 9789400911215 |
| DOI: | 10.1007/978-94-009-1121-5 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045186734 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180912s1989 xx o|||| 00||| eng d | ||
| 020 | |a 9789400911215 |9 978-94-009-1121-5 | ||
| 024 | 7 | |a 10.1007/978-94-009-1121-5 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-94-009-1121-5 | ||
| 035 | |a (OCoLC)1184378740 | ||
| 035 | |a (DE-599)BVBBV045186734 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 | ||
| 082 | 0 | |a 621.3 |2 23 | |
| 100 | 1 | |a Smith, David J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Engineering Quality Software |b A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools |c by David J. Smith, Kenneth B. Wood |
| 250 | |a Second Edition | ||
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1989 | |
| 300 | |a 1 Online-Ressource (XVIII, 284 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Electrical Engineering | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Wood, Kenneth B. |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789401069960 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-009-1121-5 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_Archiv | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030575911 | |
| 966 | e | |u https://doi.org/10.1007/978-94-009-1121-5 |l DE-634 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818984513327333376 |
|---|---|
| any_adam_object | |
| author | Smith, David J. Wood, Kenneth B. |
| author_facet | Smith, David J. Wood, Kenneth B. |
| author_role | aut aut |
| author_sort | Smith, David J. |
| author_variant | d j s dj djs k b w kb kbw |
| building | Verbundindex |
| bvnumber | BV045186734 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-94-009-1121-5 (OCoLC)1184378740 (DE-599)BVBBV045186734 |
| dewey-full | 621.3 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3 |
| dewey-search | 621.3 |
| dewey-sort | 3621.3 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-94-009-1121-5 |
| edition | Second Edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02744nam a2200481zc 4500</leader><controlfield tag="001">BV045186734</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180912s1989 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400911215</subfield><subfield code="9">978-94-009-1121-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-009-1121-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-94-009-1121-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184378740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045186734</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-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, David J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering Quality Software</subfield><subfield code="b">A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools</subfield><subfield code="c">by David J. Smith, Kenneth B. Wood</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second Edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 284 p)</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="520" ind1=" " ind2=" "><subfield code="a">During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wood, Kenneth B.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789401069960</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-009-1121-5</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-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_Archiv</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030575911</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-009-1121-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045186734 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:20:12Z |
| institution | BVB |
| isbn | 9789400911215 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030575911 |
| oclc_num | 1184378740 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | 1 Online-Ressource (XVIII, 284 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_Archiv ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer Netherlands |
| record_format | marc |
| spelling | Smith, David J. Verfasser aut Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools by David J. Smith, Kenneth B. Wood Second Edition Dordrecht Springer Netherlands 1989 1 Online-Ressource (XVIII, 284 p) txt rdacontent c rdamedia cr rdacarrier During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them Engineering Electrical Engineering Electrical engineering Software Engineering (DE-588)4116521-4 gnd rswk-swf Software Engineering (DE-588)4116521-4 s 1\p DE-604 Wood, Kenneth B. aut Erscheint auch als Druck-Ausgabe 9789401069960 https://doi.org/10.1007/978-94-009-1121-5 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Smith, David J. Wood, Kenneth B. Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools Engineering Electrical Engineering Electrical engineering Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 |
| title | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools |
| title_auth | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools |
| title_exact_search | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools |
| title_full | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools by David J. Smith, Kenneth B. Wood |
| title_fullStr | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools by David J. Smith, Kenneth B. Wood |
| title_full_unstemmed | Engineering Quality Software A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools by David J. Smith, Kenneth B. Wood |
| title_short | Engineering Quality Software |
| title_sort | engineering quality software a review of current practices standards and guidelines including new methods and development tools |
| title_sub | A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools |
| topic | Engineering Electrical Engineering Electrical engineering Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Engineering Electrical Engineering Electrical engineering Software Engineering |
| url | https://doi.org/10.1007/978-94-009-1121-5 |
| work_keys_str_mv | AT smithdavidj engineeringqualitysoftwareareviewofcurrentpracticesstandardsandguidelinesincludingnewmethodsanddevelopmenttools AT woodkennethb engineeringqualitysoftwareareviewofcurrentpracticesstandardsandguidelinesincludingnewmethodsanddevelopmenttools |