Engineering methods and tools for software safety and security /:
Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
©2009.
|
| Schriftenreihe: | NATO science for peace and security series. Information and communication security ;
v. 22. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. |
| Beschreibung: | "Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso |
| Beschreibung: | 1 online resource (ix, 333 pages :) |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781441616135 1441616136 9781607504108 1607504103 9781586039769 1586039768 |
| ISSN: | 1874-6268 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn430325602 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090813s2009 ne a ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d IOSPR |d EBLCP |d OCLCQ |d MHW |d OCLCQ |d OCLCO |d OCLCQ |d YDXCP |d OCLCF |d COO |d IDEBK |d OCLCQ |d NLGGC |d OCLCO |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d JBG |d AGLDB |d ZCU |d OCLCQ |d MERUC |d U3W |d OCLCA |d STF |d OCLCQ |d VTS |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 491253343 |a 1055379138 |a 1066667483 |a 1081212058 |a 1228618501 | ||
| 020 | |a 9781441616135 |q (electronic bk.) | ||
| 020 | |a 1441616136 |q (electronic bk.) | ||
| 020 | |a 9781607504108 | ||
| 020 | |a 1607504103 | ||
| 020 | |a 9781586039769 | ||
| 020 | |a 1586039768 | ||
| 035 | |a (OCoLC)430325602 |z (OCoLC)491253343 |z (OCoLC)1055379138 |z (OCoLC)1066667483 |z (OCoLC)1081212058 |z (OCoLC)1228618501 | ||
| 037 | |a 978-1-58603-976-9 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.758 |b .N3846 2008eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 7 | |a 005.1 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security |d (2008 : |c Marktoberdorf, Germany) |0 http://id.loc.gov/authorities/names/no2009113174 | |
| 245 | 1 | 0 | |a Engineering methods and tools for software safety and security / |c edited by Manfred Broy, Wassiou Sitou and Tony Hoare. |
| 260 | |a Amsterdam, Netherlands ; |a Washington, DC : |b IOS Press, |c ©2009. | ||
| 300 | |a 1 online resource (ix, 333 pages :) | ||
| 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, |x 1874-6268 ; |v v. 22 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software. | |
| 520 | |a Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Broy, M., |d 1949- |0 http://id.loc.gov/authorities/names/n79060851 | |
| 700 | 1 | |a Sitou, Wassiou. | |
| 700 | 1 | |a Hoare, C. A. R. |q (Charles Antony Richard), |d 1934- |0 http://id.loc.gov/authorities/names/n84148204 | |
| 758 | |i has work: |a Engineering methods and tools for software safety and security (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGrJ4cJWfy9MJvhcjt6QxC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany). |t Engineering methods and tools for software safety and security. |d Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009 |z 9781586039769 |z 1586039768 |w (OCoLC)313654208 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 22. |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=281426 |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=281426 |3 Volltext | |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL448762 | ||
| 938 | |a EBSCOhost |b EBSC |n 281426 | ||
| 938 | |a YBP Library Services |b YANK |n 3318104 | ||
| 938 | |a YBP Library Services |b YANK |n 3084028 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn430325602 |
|---|---|
| _version_ | 1813903342275919872 |
| adam_text | |
| any_adam_object | |
| author2 | Broy, M., 1949- Sitou, Wassiou Hoare, C. A. R. (Charles Antony Richard), 1934- |
| author2_role | |
| author2_variant | m b mb w s ws c a r h car carh |
| author_GND | http://id.loc.gov/authorities/names/n79060851 http://id.loc.gov/authorities/names/n84148204 |
| author_corporate | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany |
| author_corporate_role | |
| author_facet | Broy, M., 1949- Sitou, Wassiou Hoare, C. A. R. (Charles Antony Richard), 1934- NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany |
| author_sort | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 .N3846 2008eb |
| callnumber-search | QA76.758 .N3846 2008eb |
| callnumber-sort | QA 276.758 N3846 42008EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software. |
| ctrlnum | (OCoLC)430325602 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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>04839cam a2200685 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn430325602</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">090813s2009 ne a ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOSPR</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">COO</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">AGLDB</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCA</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">491253343</subfield><subfield code="a">1055379138</subfield><subfield code="a">1066667483</subfield><subfield code="a">1081212058</subfield><subfield code="a">1228618501</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441616135</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1441616136</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607504108</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607504103</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586039769</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586039768</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)430325602</subfield><subfield code="z">(OCoLC)491253343</subfield><subfield code="z">(OCoLC)1055379138</subfield><subfield code="z">(OCoLC)1066667483</subfield><subfield code="z">(OCoLC)1081212058</subfield><subfield code="z">(OCoLC)1228618501</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-976-9</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield><subfield code="b">.N3846 2008eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</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 Engineering Methods and Tools for Software Safety and Security</subfield><subfield code="d">(2008 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009113174</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering methods and tools for software safety and security /</subfield><subfield code="c">edited by Manfred Broy, Wassiou Sitou and Tony Hoare.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam, Netherlands ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 333 pages :)</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="x">1874-6268 ;</subfield><subfield code="v">v. 22</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso</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">Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Génie logiciel</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Sécurité informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">Open Source.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer security</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software engineering</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">Broy, M.,</subfield><subfield code="d">1949-</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79060851</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sitou, Wassiou.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, C. A. R.</subfield><subfield code="q">(Charles Antony Richard),</subfield><subfield code="d">1934-</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84148204</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Engineering methods and tools for software safety and security (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGrJ4cJWfy9MJvhcjt6QxC</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">NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany).</subfield><subfield code="t">Engineering methods and tools for software safety and security.</subfield><subfield code="d">Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009</subfield><subfield code="z">9781586039769</subfield><subfield code="z">1586039768</subfield><subfield code="w">(OCoLC)313654208</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. 22.</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=281426</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=281426</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL448762</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">281426</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3318104</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3084028</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-ocn430325602 |
| illustrated | Illustrated |
| indexdate | 2024-10-25T16:17:09Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2009113174 |
| isbn | 9781441616135 1441616136 9781607504108 1607504103 9781586039769 1586039768 |
| issn | 1874-6268 ; |
| language | English |
| oclc_num | 430325602 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource (ix, 333 pages :) |
| psigel | ZDB-4-EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| 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 Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany) http://id.loc.gov/authorities/names/no2009113174 Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare. Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009. 1 online resource (ix, 333 pages :) text txt rdacontent computer c rdamedia online resource cr rdacarrier NATO science for peace and security series. D, Information and communication security, 1874-6268 ; v. 22 "Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso Includes bibliographical references and index. Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software. Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. Print version record. Software engineering Congresses. Computer security Congresses. Génie logiciel Congrès. Sécurité informatique Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Computer security fast Software engineering fast Conference papers and proceedings fast Broy, M., 1949- http://id.loc.gov/authorities/names/n79060851 Sitou, Wassiou. Hoare, C. A. R. (Charles Antony Richard), 1934- http://id.loc.gov/authorities/names/n84148204 has work: Engineering methods and tools for software safety and security (Text) https://id.oclc.org/worldcat/entity/E39PCGrJ4cJWfy9MJvhcjt6QxC https://id.oclc.org/worldcat/ontology/hasWork Print version: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany). Engineering methods and tools for software safety and security. Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009 9781586039769 1586039768 (OCoLC)313654208 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 22. 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=281426 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281426 Volltext |
| spellingShingle | Engineering methods and tools for software safety and security / NATO science for peace and security series. Information and communication security ; Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software. Software engineering Congresses. Computer security Congresses. Génie logiciel Congrès. Sécurité informatique Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Computer security fast Software engineering fast |
| title | Engineering methods and tools for software safety and security / |
| title_auth | Engineering methods and tools for software safety and security / |
| title_exact_search | Engineering methods and tools for software safety and security / |
| title_full | Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare. |
| title_fullStr | Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare. |
| title_full_unstemmed | Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare. |
| title_short | Engineering methods and tools for software safety and security / |
| title_sort | engineering methods and tools for software safety and security |
| topic | Software engineering Congresses. Computer security Congresses. Génie logiciel Congrès. Sécurité informatique Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Computer security fast Software engineering fast |
| topic_facet | Software engineering Congresses. Computer security Congresses. Génie logiciel Congrès. Sécurité informatique Congrès. COMPUTERS Programming Open Source. COMPUTERS Software Development & Engineering Tools. COMPUTERS Software Development & Engineering General. Computer security Software engineering Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281426 |
| work_keys_str_mv | AT natoadvancedstudyinstituteonengineeringmethodsandtoolsforsoftwaresafetyandsecuritymarktoberdorfgermany engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT broym engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT sitouwassiou engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT hoarecar engineeringmethodsandtoolsforsoftwaresafetyandsecurity |