Dependable software systems engineering /:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
IOS Press,
2015.
|
| Schriftenreihe: | NATO science for peace and security series. Information and communication security ;
v. 40. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781614994954 1614994951 1614994943 9781614994947 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn914229937 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 150721s2015 ne ob 101 0 eng d | ||
| 010 | |a 2015938489 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d IDEBK |d IOSPR |d OCLCO |d YDXCP |d OCLCF |d OCLCO |d EBLCP |d OCLCO |d DEBSZ |d K6U |d AGLDB |d ICA |d PIFFA |d FVL |d VGM |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d COCUF |d D6H |d STF |d OCLCQ |d VTS |d ICG |d VT2 |d OCLCQ |d WYU |d G3B |d TKN |d DKC |d OCLCQ |d M8D |d OCLCQ |d UKAHL |d AJS |d OCLCO |d OCLCQ |d QGK |d OCLCO |d OCLCL | ||
| 019 | |a 929503930 |a 932319999 |a 961696273 |a 962729966 |a 1055348836 |a 1066527884 |a 1081219713 |a 1228570734 |a 1259188963 | ||
| 020 | |a 9781614994954 |q (electronic bk.) | ||
| 020 | |a 1614994951 |q (electronic bk.) | ||
| 020 | |a 1614994943 | ||
| 020 | |a 9781614994947 | ||
| 020 | |z 9781614994947 | ||
| 035 | |a (OCoLC)914229937 |z (OCoLC)929503930 |z (OCoLC)932319999 |z (OCoLC)961696273 |z (OCoLC)962729966 |z (OCoLC)1055348836 |z (OCoLC)1066527884 |z (OCoLC)1081219713 |z (OCoLC)1228570734 |z (OCoLC)1259188963 | ||
| 050 | 4 | |a QA76.76.V47 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 7 | |a 005.1/4 |2 23 | |
| 082 | 7 | |a 004.2 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a NATO Advanced Study Institute on Dependable Software Systems Engineering |d (2014 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Dependable software systems engineering / |c edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. |
| 264 | 1 | |a Amsterdam : |b IOS Press, |c 2015. | |
| 264 | 4 | |c ©2015 | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a NATO Science for Peace and Security series D: information and communication security ; |v vol. 40 | |
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed July 23, 2015). | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a DEPENDABLE SOFTWARE SYSTEMS ENGINEERING; Preface; Contents; Syntax-Guided Synthesis; Deconstructing Dynamic Symbolic Execution; From Actions, Transactions, and Processes to Services; System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems; Generating Process Models in Multi-View Environments; Safety and Dependability; Evolving Software Ecosystems A Historical and Ecological Perspective; Framing the Frame Problem; From Verification to Synthesis; Defect-Based Testing; Mechanised Theory Engineering in Isabelle. | |
| 505 | 8 | |a A Theory of Networks: In the Beginning . . .Subject Index; Author Index. | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 0 | |a Computer systems |x Verification |v Congresses. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 650 | 6 | |a Systèmes informatiques |x Vérification |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a Computer systems |x Verification |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Irlbeck, Maximilian, |e editor. | |
| 700 | 1 | |a Peled, Doron, |e editor. | |
| 700 | 1 | |a Pretschner, Alexander, |e editor. | |
| 758 | |i has work: |a Dependable software systems engineering (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Irlbeck, M. |t Dependable Software Systems Engineering. |d Burke : IOS Press, ©2015 |z 9781614994947 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 40. |0 http://id.loc.gov/authorities/names/no2007140990 | |
| 856 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 |3 Volltext | |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37537323 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL3563924 | ||
| 938 | |a EBSCOhost |b EBSC |n 1030190 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis32107450 | ||
| 938 | |a YBP Library Services |b YANK |n 12538103 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn914229937 |
|---|---|
| _version_ | 1813903691357356032 |
| adam_text | |
| any_adam_object | |
| author2 | Irlbeck, Maximilian Peled, Doron Pretschner, Alexander |
| author2_role | edt edt edt |
| author2_variant | m i mi d p dp a p ap |
| author_corporate | NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| author_corporate_role | |
| author_facet | Irlbeck, Maximilian Peled, Doron Pretschner, Alexander NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| author_sort | NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | DEPENDABLE SOFTWARE SYSTEMS ENGINEERING; Preface; Contents; Syntax-Guided Synthesis; Deconstructing Dynamic Symbolic Execution; From Actions, Transactions, and Processes to Services; System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems; Generating Process Models in Multi-View Environments; Safety and Dependability; Evolving Software Ecosystems A Historical and Ecological Perspective; Framing the Frame Problem; From Verification to Synthesis; Defect-Based Testing; Mechanised Theory Engineering in Isabelle. A Theory of Networks: In the Beginning . . .Subject Index; Author Index. |
| ctrlnum | (OCoLC)914229937 |
| dewey-full | 005.1/4 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.1/4 004.2 |
| dewey-search | 005.1/4 004.2 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04683cam a2200829 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn914229937</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">150721s2015 ne ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2015938489</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">IDEBK</subfield><subfield code="d">IOSPR</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">K6U</subfield><subfield code="d">AGLDB</subfield><subfield code="d">ICA</subfield><subfield code="d">PIFFA</subfield><subfield code="d">FVL</subfield><subfield code="d">VGM</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">COCUF</subfield><subfield code="d">D6H</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">G3B</subfield><subfield code="d">TKN</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKAHL</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">929503930</subfield><subfield code="a">932319999</subfield><subfield code="a">961696273</subfield><subfield code="a">962729966</subfield><subfield code="a">1055348836</subfield><subfield code="a">1066527884</subfield><subfield code="a">1081219713</subfield><subfield code="a">1228570734</subfield><subfield code="a">1259188963</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614994954</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614994951</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614994943</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614994947</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614994947</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914229937</subfield><subfield code="z">(OCoLC)929503930</subfield><subfield code="z">(OCoLC)932319999</subfield><subfield code="z">(OCoLC)961696273</subfield><subfield code="z">(OCoLC)962729966</subfield><subfield code="z">(OCoLC)1055348836</subfield><subfield code="z">(OCoLC)1066527884</subfield><subfield code="z">(OCoLC)1081219713</subfield><subfield code="z">(OCoLC)1228570734</subfield><subfield code="z">(OCoLC)1259188963</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Dependable Software Systems Engineering</subfield><subfield code="d">(2014 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable software systems engineering /</subfield><subfield code="c">edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2015.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO Science for Peace and Security series D: information and communication security ;</subfield><subfield code="v">vol. 40</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed July 23, 2015).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">DEPENDABLE SOFTWARE SYSTEMS ENGINEERING; Preface; Contents; Syntax-Guided Synthesis; Deconstructing Dynamic Symbolic Execution; From Actions, Transactions, and Processes to Services; System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems; Generating Process Models in Multi-View Environments; Safety and Dependability; Evolving Software Ecosystems A Historical and Ecological Perspective; Framing the Frame Problem; From Verification to Synthesis; Defect-Based Testing; Mechanised Theory Engineering in Isabelle.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">A Theory of Networks: In the Beginning . . .Subject Index; Author Index.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer systems</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Vérification</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Systèmes informatiques</subfield><subfield code="x">Vérification</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer systems</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Irlbeck, Maximilian,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peled, Doron,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pretschner, Alexander,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Dependable software systems engineering (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Irlbeck, M.</subfield><subfield code="t">Dependable Software Systems Engineering.</subfield><subfield code="d">Burke : IOS Press, ©2015</subfield><subfield code="z">9781614994947</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science for peace and security series.</subfield><subfield code="n">Sub-series D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 40.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2007140990</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37537323</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL3563924</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1030190</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis32107450</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">12538103</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn914229937 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-25T16:22:42Z |
| institution | BVB |
| isbn | 9781614994954 1614994951 1614994943 9781614994947 |
| language | English |
| lccn | 2015938489 |
| oclc_num | 914229937 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | IOS Press, |
| record_format | marc |
| series | NATO science for peace and security series. Information and communication security ; |
| series2 | NATO Science for Peace and Security series D: information and communication security ; |
| spelling | NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany) Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. Amsterdam : IOS Press, 2015. ©2015 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier NATO Science for Peace and Security series D: information and communication security ; vol. 40 Online resource; title from PDF title page (EBSCO, viewed July 23, 2015). Includes bibliographical references and index. DEPENDABLE SOFTWARE SYSTEMS ENGINEERING; Preface; Contents; Syntax-Guided Synthesis; Deconstructing Dynamic Symbolic Execution; From Actions, Transactions, and Processes to Services; System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems; Generating Process Models in Multi-View Environments; Safety and Dependability; Evolving Software Ecosystems A Historical and Ecological Perspective; Framing the Frame Problem; From Verification to Synthesis; Defect-Based Testing; Mechanised Theory Engineering in Isabelle. A Theory of Networks: In the Beginning . . .Subject Index; Author Index. English. Computer software Verification Congresses. Computer systems Verification Congresses. Logiciels Vérification Congrès. Systèmes informatiques Vérification Congrès. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Computer software Verification fast Computer systems Verification fast Conference papers and proceedings fast Irlbeck, Maximilian, editor. Peled, Doron, editor. Pretschner, Alexander, editor. has work: Dependable software systems engineering (Text) https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Irlbeck, M. Dependable Software Systems Engineering. Burke : IOS Press, ©2015 9781614994947 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 40. http://id.loc.gov/authorities/names/no2007140990 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 Volltext |
| spellingShingle | Dependable software systems engineering / NATO science for peace and security series. Information and communication security ; DEPENDABLE SOFTWARE SYSTEMS ENGINEERING; Preface; Contents; Syntax-Guided Synthesis; Deconstructing Dynamic Symbolic Execution; From Actions, Transactions, and Processes to Services; System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems; Generating Process Models in Multi-View Environments; Safety and Dependability; Evolving Software Ecosystems A Historical and Ecological Perspective; Framing the Frame Problem; From Verification to Synthesis; Defect-Based Testing; Mechanised Theory Engineering in Isabelle. A Theory of Networks: In the Beginning . . .Subject Index; Author Index. Computer software Verification Congresses. Computer systems Verification Congresses. Logiciels Vérification Congrès. Systèmes informatiques Vérification Congrès. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Computer software Verification fast Computer systems Verification fast |
| title | Dependable software systems engineering / |
| title_auth | Dependable software systems engineering / |
| title_exact_search | Dependable software systems engineering / |
| title_full | Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. |
| title_fullStr | Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. |
| title_full_unstemmed | Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. |
| title_short | Dependable software systems engineering / |
| title_sort | dependable software systems engineering |
| topic | Computer software Verification Congresses. Computer systems Verification Congresses. Logiciels Vérification Congrès. Systèmes informatiques Vérification Congrès. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Computer software Verification fast Computer systems Verification fast |
| topic_facet | Computer software Verification Congresses. Computer systems Verification Congresses. Logiciels Vérification Congrès. Systèmes informatiques Vérification Congrès. COMPUTERS Computer Literacy. COMPUTERS Computer Science. COMPUTERS Data Processing. COMPUTERS Hardware General. COMPUTERS Information Technology. COMPUTERS Machine Theory. COMPUTERS Reference. Computer software Verification Computer systems Verification Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 |
| work_keys_str_mv | AT natoadvancedstudyinstituteondependablesoftwaresystemsengineeringmarktoberdorfgermany dependablesoftwaresystemsengineering AT irlbeckmaximilian dependablesoftwaresystemsengineering AT peleddoron dependablesoftwaresystemsengineering AT pretschneralexander dependablesoftwaresystemsengineering |