Static analysis of software: the abstract interpretation
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London, UK
ISTE/Wiley
2012
|
| Schriftenreihe: | ISTE
|
| Schlagworte: | |
| Online-Zugang: | FRO01 UBG01 Volltext |
| Beschreibung: | Includes bibliographical references and index The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9781118602867 1118602862 9781118602959 1118602951 9781118602843 1118602846 1848213204 9781848213203 9781299187788 1299187781 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043395459 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160222s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9781118602867 |c electronic bk. |9 978-1-118-60286-7 | ||
| 020 | |a 1118602862 |c electronic bk. |9 1-118-60286-2 | ||
| 020 | |a 9781118602959 |9 978-1-118-60295-9 | ||
| 020 | |a 1118602951 |9 1-118-60295-1 | ||
| 020 | |a 9781118602843 |c electronic bk. |9 978-1-118-60284-3 | ||
| 020 | |a 1118602846 |c electronic bk. |9 1-118-60284-6 | ||
| 020 | |a 1848213204 |9 1-84821-320-4 | ||
| 020 | |a 9781848213203 |9 978-1-84821-320-3 | ||
| 020 | |a 9781299187788 |9 978-1-299-18778-8 | ||
| 020 | |a 1299187781 |9 1-299-18778-1 | ||
| 024 | 7 | |a 10.1002/9781118602867 |2 doi | |
| 035 | |a (ZDB-35-WIC)ocn828198486 | ||
| 035 | |a (OCoLC)828198486 | ||
| 035 | |a (DE-599)BVBBV043395459 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-861 | ||
| 082 | 0 | |a 005.1/4 |2 23 | |
| 245 | 1 | 0 | |a Static analysis of software |b the abstract interpretation |c edited by Jean-Louis Boulanger |
| 264 | 1 | |a London, UK |b ISTE/Wiley |c 2012 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ISTE | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr | ||
| 650 | 4 | |a Computer software / Quality control | |
| 650 | 4 | |a Computer software / Testing | |
| 650 | 4 | |a Debugging in computer science | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Quality Assurance & Testing |2 bisacsh | |
| 650 | 7 | |a Computer software / Quality control |2 fast | |
| 650 | 7 | |a Computer software / Testing |2 fast | |
| 650 | 7 | |a Debugging in computer science |2 fast | |
| 650 | 4 | |a Computer software / Testing | |
| 650 | 4 | |a Debugging in computer science | |
| 650 | 4 | |a Computer software / Quality control | |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistische Analyse |0 (DE-588)4116599-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Statistische Analyse |0 (DE-588)4116599-8 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Boulanger, Jean-Louis |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-35-WIC | ||
| 940 | 1 | |q UBG_PDA_WIC | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028814043 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867 |l FRO01 |p ZDB-35-WIC |q FRO_PDA_WIC |x Verlag |3 Volltext | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867 |l UBG01 |p ZDB-35-WIC |q UBG_PDA_WIC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175975333756928 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043395459 |
| collection | ZDB-35-WIC |
| ctrlnum | (ZDB-35-WIC)ocn828198486 (OCoLC)828198486 (DE-599)BVBBV043395459 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03528nmm a2200709zc 4500</leader><controlfield tag="001">BV043395459</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160222s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118602867</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60286-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118602862</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60286-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118602959</subfield><subfield code="9">978-1-118-60295-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118602951</subfield><subfield code="9">1-118-60295-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118602843</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60284-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118602846</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60284-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848213204</subfield><subfield code="9">1-84821-320-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848213203</subfield><subfield code="9">978-1-84821-320-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299187788</subfield><subfield code="9">978-1-299-18778-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299187781</subfield><subfield code="9">1-299-18778-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1002/9781118602867</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-35-WIC)ocn828198486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)828198486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043395459</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-861</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis of software</subfield><subfield code="b">the abstract interpretation</subfield><subfield code="c">edited by Jean-Louis Boulanger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London, UK</subfield><subfield code="b">ISTE/Wiley</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">ISTE</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Quality control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Debugging in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Quality Assurance & Testing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Quality control</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Testing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Debugging in computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Debugging in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Quality control</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">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boulanger, Jean-Louis</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867</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-35-WIC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_WIC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028814043</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="883" ind1="1" ind2=" "><subfield code="8">2\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="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">FRO_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">UBG_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043395459 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:24:49Z |
| institution | BVB |
| isbn | 9781118602867 1118602862 9781118602959 1118602951 9781118602843 1118602846 1848213204 9781848213203 9781299187788 1299187781 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028814043 |
| oclc_num | 828198486 |
| open_access_boolean | |
| owner | DE-861 |
| owner_facet | DE-861 |
| physical | 1 Online-Ressource |
| psigel | ZDB-35-WIC UBG_PDA_WIC ZDB-35-WIC FRO_PDA_WIC ZDB-35-WIC UBG_PDA_WIC |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | ISTE/Wiley |
| record_format | marc |
| series2 | ISTE |
| spelling | Static analysis of software the abstract interpretation edited by Jean-Louis Boulanger London, UK ISTE/Wiley 2012 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier ISTE Includes bibliographical references and index The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people curr Computer software / Quality control Computer software / Testing Debugging in computer science COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer software / Quality control fast Computer software / Testing fast Debugging in computer science fast Software (DE-588)4055382-6 gnd rswk-swf Statistische Analyse (DE-588)4116599-8 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Software (DE-588)4055382-6 s Statistische Analyse (DE-588)4116599-8 s 2\p DE-604 Boulanger, Jean-Louis Sonstige oth https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Static analysis of software the abstract interpretation Computer software / Quality control Computer software / Testing Debugging in computer science COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer software / Quality control fast Computer software / Testing fast Debugging in computer science fast Software (DE-588)4055382-6 gnd Statistische Analyse (DE-588)4116599-8 gnd |
| subject_GND | (DE-588)4055382-6 (DE-588)4116599-8 (DE-588)4143413-4 |
| title | Static analysis of software the abstract interpretation |
| title_auth | Static analysis of software the abstract interpretation |
| title_exact_search | Static analysis of software the abstract interpretation |
| title_full | Static analysis of software the abstract interpretation edited by Jean-Louis Boulanger |
| title_fullStr | Static analysis of software the abstract interpretation edited by Jean-Louis Boulanger |
| title_full_unstemmed | Static analysis of software the abstract interpretation edited by Jean-Louis Boulanger |
| title_short | Static analysis of software |
| title_sort | static analysis of software the abstract interpretation |
| title_sub | the abstract interpretation |
| topic | Computer software / Quality control Computer software / Testing Debugging in computer science COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer software / Quality control fast Computer software / Testing fast Debugging in computer science fast Software (DE-588)4055382-6 gnd Statistische Analyse (DE-588)4116599-8 gnd |
| topic_facet | Computer software / Quality control Computer software / Testing Debugging in computer science COMPUTERS / Software Development & Engineering / Quality Assurance & Testing Software Statistische Analyse Aufsatzsammlung |
| url | https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602867 |
| work_keys_str_mv | AT boulangerjeanlouis staticanalysisofsoftwaretheabstractinterpretation |