Engineering dependable software systems:
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
[2013]
|
| Series: | NATO science for peace and security series
v. 34 |
| Subjects: | |
| Item Description: | "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. - "Published in cooperation with NATO Emerging Security Challenges Division." Print version record |
| Physical Description: | 1 online resource (ix, 365 pages .) |
| ISBN: | 9781614992073 161499207X |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045350291 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181210s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781614992073 |9 978-1-61499-207-3 | ||
| 020 | |a 161499207X |9 1-61499-207-X | ||
| 035 | |a (ZDB-4-ITC)ocn861257467 | ||
| 035 | |a (OCoLC)861257467 | ||
| 035 | |a (DE-599)BVBBV045350291 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1/4 |2 23 | |
| 110 | 2 | |a NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Engineering dependable software systems |c edited by Manfred Broy, Doron Peled and Georg Kalus |
| 264 | 1 | |a Amsterdam |b IOS Press |c [2013] | |
| 300 | |a 1 online resource (ix, 365 pages .) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO science for peace and security series |v v. 34 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. - "Published in cooperation with NATO Emerging Security Challenges Division." | ||
| 500 | |a Print version record | ||
| 505 | 8 | |a "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Computer software / Verification |2 fast | |
| 650 | 7 | |a Computer systems / Verification |2 fast | |
| 650 | 4 | |a Computer software |x Verification |v Congresses |a Computer systems |x Verification |v Congresses | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Broy, M. |d 1949- |4 edt | |
| 700 | 1 | |a Peled, Doron A. |d 1962- |4 edt | |
| 700 | 1 | |a Kalus, Georg |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) |t Engineering dependable software systems |z 9781614992066 |
| 912 | |a ZDB-4-ITC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030736944 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804179174840074240 |
|---|---|
| any_adam_object | |
| author2 | Broy, M. 1949- Peled, Doron A. 1962- Kalus, Georg |
| author2_role | edt edt edt |
| author2_variant | m b mb d a p da dap g k gk |
| author_corporate | NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany> |
| author_corporate_role | aut |
| author_facet | Broy, M. 1949- Peled, Doron A. 1962- Kalus, Georg NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany> |
| author_sort | NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany> |
| building | Verbundindex |
| bvnumber | BV045350291 |
| collection | ZDB-4-ITC |
| contents | "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- |
| ctrlnum | (ZDB-4-ITC)ocn861257467 (OCoLC)861257467 (DE-599)BVBBV045350291 |
| 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>03490nmm a2200457zcb4500</leader><controlfield tag="001">BV045350291</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181210s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614992073</subfield><subfield code="9">978-1-61499-207-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">161499207X</subfield><subfield code="9">1-61499-207-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ITC)ocn861257467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861257467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045350291</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering dependable software systems</subfield><subfield code="c">edited by Manfred Broy, Doron Peled and Georg Kalus</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 365 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">NATO science for peace and security series</subfield><subfield code="v">v. 34</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. - "Published in cooperation with NATO Emerging Security Challenges Division."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer systems / Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield><subfield code="a">Computer systems</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Broy, M.</subfield><subfield code="d">1949-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peled, Doron A.</subfield><subfield code="d">1962-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kalus, Georg</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)</subfield><subfield code="t">Engineering dependable software systems</subfield><subfield code="z">9781614992066</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-ITC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030736944</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></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV045350291 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:15:41Z |
| institution | BVB |
| isbn | 9781614992073 161499207X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030736944 |
| oclc_num | 861257467 |
| open_access_boolean | |
| physical | 1 online resource (ix, 365 pages .) |
| psigel | ZDB-4-ITC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | NATO Advanced Study Institute on Engineering Dependable Software Systems <2012, Marktoberdorf, Germany> Verfasser aut Engineering dependable software systems edited by Manfred Broy, Doron Peled and Georg Kalus Amsterdam IOS Press [2013] 1 online resource (ix, 365 pages .) txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series v. 34 "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. - "Published in cooperation with NATO Emerging Security Challenges Division." Print version record "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Verification fast Computer systems / Verification fast Computer software Verification Congresses Computer systems Verification Congresses 1\p (DE-588)1071861417 Konferenzschrift gnd-content Broy, M. 1949- edt Peled, Doron A. 1962- edt Kalus, Georg edt Erscheint auch als Druck-Ausgabe NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Engineering dependable software systems 9781614992066 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Engineering dependable software systems "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Verification fast Computer systems / Verification fast Computer software Verification Congresses Computer systems Verification Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Engineering dependable software systems |
| title_auth | Engineering dependable software systems |
| title_exact_search | Engineering dependable software systems |
| title_full | Engineering dependable software systems edited by Manfred Broy, Doron Peled and Georg Kalus |
| title_fullStr | Engineering dependable software systems edited by Manfred Broy, Doron Peled and Georg Kalus |
| title_full_unstemmed | Engineering dependable software systems edited by Manfred Broy, Doron Peled and Georg Kalus |
| title_short | Engineering dependable software systems |
| title_sort | engineering dependable software systems |
| topic | COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Verification fast Computer systems / Verification fast Computer software Verification Congresses Computer systems Verification Congresses |
| topic_facet | COMPUTERS / Software Development & Engineering / General Computer software / Verification Computer systems / Verification Computer software Verification Congresses Computer systems Verification Congresses Konferenzschrift |
| work_keys_str_mv | AT natoadvancedstudyinstituteonengineeringdependablesoftwaresystems2012marktoberdorfgermany engineeringdependablesoftwaresystems AT broym engineeringdependablesoftwaresystems AT peleddorona engineeringdependablesoftwaresystems AT kalusgeorg engineeringdependablesoftwaresystems |