Dependable software systems engineering:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
2015
|
| Schriftenreihe: | NATO science for peace and security series
v. 40 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 |
| Beschreibung: | Online resource; title from PDF title page (EBSCO, viewed July 23, 2015) |
| Beschreibung: | 1 online resource |
| ISBN: | 9781614994954 1614994951 9781614994947 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043959473 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161213s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9781614994954 |9 978-1-61499-495-4 | ||
| 020 | |a 1614994951 |9 1-61499-495-1 | ||
| 020 | |a 9781614994947 |9 978-1-61499-494-7 | ||
| 035 | |a (ZDB-4-EBA)ocn914229937 | ||
| 035 | |a (ZDB-4-ITC)ocn914229937 | ||
| 035 | |a (OCoLC)914229937 | ||
| 035 | |a (DE-599)BVBBV043959473 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1047 |a DE-1046 | ||
| 082 | 0 | |a 005.1/4 |2 23 | |
| 082 | 0 | |a 004.2 |2 23 | |
| 110 | 2 | |a NATO Advanced Study Institute on Dependable Software Systems Engineering <2014, Marktoberdorf, Germany> |e Verfasser |4 aut | |
| 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 | |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. 40 | |
| 500 | |a Online resource; title from PDF title page (EBSCO, viewed July 23, 2015) | ||
| 505 | 8 | |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 | |
| 650 | 7 | |a COMPUTERS / Computer Literacy |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Science |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Data Processing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Information Technology |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Reference |2 bisacsh | |
| 650 | 7 | |a Computer software / Verification |2 fast | |
| 650 | 7 | |a Computer systems / Verification |2 fast | |
| 650 | 4 | |a Computer software / Verification / Congresses | |
| 650 | 4 | |a Computer systems / Verification / Congresses | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer software |x Verification |v Congresses |a Computer systems |x Verification |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Irlbeck, Maximilian |4 edt | |
| 700 | 1 | |a Peled, Doron |4 edt | |
| 700 | 1 | |a Pretschner, Alexander |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Irlbeck, M |t . Dependable Software Systems Engineering |
| 912 | |a ZDB-4-EBA |a ZDB-4-ITC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029368177 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176915365363712 |
|---|---|
| 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 <2014, Marktoberdorf, Germany> |
| author_corporate_role | aut |
| author_facet | Irlbeck, Maximilian Peled, Doron Pretschner, Alexander NATO Advanced Study Institute on Dependable Software Systems Engineering <2014, Marktoberdorf, Germany> |
| author_sort | NATO Advanced Study Institute on Dependable Software Systems Engineering <2014, Marktoberdorf, Germany> |
| building | Verbundindex |
| bvnumber | BV043959473 |
| collection | ZDB-4-EBA ZDB-4-ITC |
| 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 | (ZDB-4-EBA)ocn914229937 (ZDB-4-ITC)ocn914229937 (OCoLC)914229937 (DE-599)BVBBV043959473 |
| 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 eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03325nmm a2200637zcb4500</leader><controlfield tag="001">BV043959473</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161213s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614994954</subfield><subfield code="9">978-1-61499-495-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614994951</subfield><subfield code="9">1-61499-495-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614994947</subfield><subfield code="9">978-1-61499-494-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-EBA)ocn914229937</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ITC)ocn914229937</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914229937</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043959473</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="049" ind1=" " ind2=" "><subfield code="a">DE-1047</subfield><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Dependable Software Systems Engineering <2014, Marktoberdorf, Germany></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="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. 40</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed July 23, 2015)</subfield></datafield><datafield tag="505" ind1="8" 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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Literacy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Data Processing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Technology</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Machine Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Reference</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 / Verification / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems / Verification / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="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">Irlbeck, Maximilian</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peled, Doron</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pretschner, Alexander</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">Irlbeck, M</subfield><subfield code="t">. Dependable Software Systems Engineering</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-ITC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029368177</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043959473 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:46Z |
| institution | BVB |
| isbn | 9781614994954 1614994951 9781614994947 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029368177 |
| oclc_num | 914229937 |
| open_access_boolean | |
| owner | DE-1047 DE-1046 |
| owner_facet | DE-1047 DE-1046 |
| physical | 1 online resource |
| psigel | ZDB-4-EBA ZDB-4-ITC ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | NATO Advanced Study Institute on Dependable Software Systems Engineering <2014, Marktoberdorf, Germany> Verfasser aut Dependable software systems engineering edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner Amsterdam IOS Press 2015 © 2015 1 online resource txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series v. 40 Online resource; title from PDF title page (EBSCO, viewed July 23, 2015) 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 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 Computer software / Verification / Congresses Computer systems / Verification / Congresses Informatik Computer software Verification Congresses Computer systems Verification Congresses (DE-588)1071861417 Konferenzschrift gnd-content Irlbeck, Maximilian edt Peled, Doron edt Pretschner, Alexander edt Erscheint auch als Druck-Ausgabe Irlbeck, M . Dependable Software Systems Engineering |
| spellingShingle | Dependable software systems engineering 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 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 Computer software / Verification / Congresses Computer systems / Verification / Congresses Informatik Computer software Verification Congresses Computer systems Verification Congresses |
| subject_GND | (DE-588)1071861417 |
| 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 | 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 Computer software / Verification / Congresses Computer systems / Verification / Congresses Informatik Computer software Verification Congresses Computer systems Verification Congresses |
| topic_facet | 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 Computer software / Verification / Congresses Computer systems / Verification / Congresses Informatik Computer software Verification Congresses Computer systems Verification Congresses Konferenzschrift |
| work_keys_str_mv | AT natoadvancedstudyinstituteondependablesoftwaresystemsengineering2014marktoberdorfgermany dependablesoftwaresystemsengineering AT irlbeckmaximilian dependablesoftwaresystemsengineering AT peleddoron dependablesoftwaresystemsengineering AT pretschneralexander dependablesoftwaresystemsengineering |