Engineering methods and tools for software safety and security:
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam, Netherlands
IOS Press
©2009
|
| Series: | NATO science for peace and security series
v. 22 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | "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 |
| Physical Description: | 1 Online-Ressource (ix, 333 pages) |
| ISBN: | 1441616136 1586039768 1607504103 9781441616135 9781586039769 9781607504108 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043131169 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 1441616136 |c electronic bk. |9 1-4416-1613-6 | ||
| 020 | |a 1586039768 |9 1-58603-976-8 | ||
| 020 | |a 1607504103 |9 1-60750-410-3 | ||
| 020 | |a 9781441616135 |c electronic bk. |9 978-1-4416-1613-5 | ||
| 020 | |a 9781586039769 |9 978-1-58603-976-9 | ||
| 020 | |a 9781607504108 |9 978-1-60750-410-8 | ||
| 035 | |a (OCoLC)430325602 | ||
| 035 | |a (DE-599)BVBBV043131169 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.1 |2 22 | |
| 110 | 2 | |a NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, Marktoberdorf, Germany> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Engineering methods and tools for software safety and security |c edited by Manfred Broy, Wassiou Sitou and Tony Hoare |
| 264 | 1 | |a Amsterdam, Netherlands |b IOS Press |c ©2009 | |
| 300 | |a 1 Online-Ressource (ix, 333 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. 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 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 4 | |a Computer security |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Broy, M. |e Sonstige |4 oth | |
| 700 | 1 | |a Sitou, Wassiou |e Sonstige |4 oth | |
| 700 | 1 | |a Hoare, C. A. R. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028555360 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426 |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&db=nlabk&AN=281426 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175570636898304 |
|---|---|
| any_adam_object | |
| author_corporate | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, Marktoberdorf, Germany> |
| author_corporate_role | aut |
| author_facet | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, Marktoberdorf, Germany> |
| author_sort | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, Marktoberdorf, Germany> |
| building | Verbundindex |
| bvnumber | BV043131169 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)430325602 (DE-599)BVBBV043131169 |
| 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 eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03471nmm a2200565zcb4500</leader><controlfield tag="001">BV043131169</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1441616136</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4416-1613-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586039768</subfield><subfield code="9">1-58603-976-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607504103</subfield><subfield code="9">1-60750-410-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441616135</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4416-1613-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586039769</subfield><subfield code="9">978-1-58603-976-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607504108</subfield><subfield code="9">978-1-60750-410-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)430325602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043131169</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, 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 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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam, Netherlands</subfield><subfield code="b">IOS Press</subfield><subfield code="c">©2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 333 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. 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</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 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="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</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">Broy, M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sitou, Wassiou</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, C. A. R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028555360</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426</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&db=nlabk&AN=281426</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.BV043131169 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:23Z |
| institution | BVB |
| isbn | 1441616136 1586039768 1607504103 9781441616135 9781586039769 9781607504108 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028555360 |
| oclc_num | 430325602 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (ix, 333 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security <2008, Marktoberdorf, Germany> Verfasser aut Engineering methods and tools for software safety and security edited by Manfred Broy, Wassiou Sitou and Tony Hoare Amsterdam, Netherlands IOS Press ©2009 1 Online-Ressource (ix, 333 pages) txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series 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 COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Computer security fast Software engineering fast Software engineering Congresses Computer security Congresses (DE-588)1071861417 Konferenzschrift gnd-content Broy, M. Sonstige oth Sitou, Wassiou Sonstige oth Hoare, C. A. R. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426 Aggregator Volltext |
| spellingShingle | Engineering methods and tools for software safety and security COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Computer security fast Software engineering fast Software engineering Congresses Computer security Congresses |
| subject_GND | (DE-588)1071861417 |
| 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 | COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Computer security fast Software engineering fast Software engineering Congresses Computer security Congresses |
| topic_facet | COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Computer security Software engineering Software engineering Congresses Computer security Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426 |
| work_keys_str_mv | AT natoadvancedstudyinstituteonengineeringmethodsandtoolsforsoftwaresafetyandsecurity2008marktoberdorfgermany engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT broym engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT sitouwassiou engineeringmethodsandtoolsforsoftwaresafetyandsecurity AT hoarecar engineeringmethodsandtoolsforsoftwaresafetyandsecurity |