Cargando…
Software and systems safety : specification and verification /
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the c...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2011.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
v. 30. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn756484723 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 111010s2011 ne ob 101 0 eng d | ||
| 010 | |z 2011922667 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d IOSPR |d N$T |d YDXCP |d OCLCQ |d E7B |d OCLCQ |d IDEBK |d OCLCQ |d OCLCO |d DEBSZ |d OCLCQ |d OCLCO |d OCLCF |d CDX |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d OCLCQ |d MOR |d PIFAG |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d TXI |d OCLCA |d JBG |d STF |d VNS |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d A6Q |d DKC |d OCLCQ |d M8D |d OCLCQ |d UKCRE |d AJS |d OCLCO |d OCLCQ |d QGK |d OCLCO |d OCLCL | ||
| 016 | 7 | |a 015792611 |2 Uk | |
| 019 | |a 795756264 |a 816866086 |a 961550007 |a 988433728 |a 991916958 |a 1037787581 |a 1038568538 |a 1045541735 |a 1055356104 |a 1066593961 |a 1077263458 |a 1081242648 |a 1083600150 |a 1153496574 |a 1228616380 |a 1259220079 | ||
| 020 | |a 9781607507116 |q (electronic bk.) | ||
| 020 | |a 1607507110 |q (electronic bk.) | ||
| 020 | |a 9781607507109 | ||
| 020 | |a 1607507102 | ||
| 020 | |a 1283289601 | ||
| 020 | |a 9781283289603 | ||
| 020 | |a 6613289604 | ||
| 020 | |a 9786613289605 | ||
| 024 | 8 | |a 9786613289605 | |
| 029 | 1 | |a AU@ |b 000050054029 | |
| 029 | 1 | |a AU@ |b 000051559260 | |
| 029 | 1 | |a CHNEW |b 000623472 | |
| 029 | 1 | |a DEBBG |b BV042970268 | |
| 029 | 1 | |a DEBBG |b BV044158409 | |
| 029 | 1 | |a DEBSZ |b 372823432 | |
| 029 | 1 | |a DEBSZ |b 421525649 | |
| 029 | 1 | |a DEBSZ |b 431047901 | |
| 035 | |a (OCoLC)756484723 |z (OCoLC)795756264 |z (OCoLC)816866086 |z (OCoLC)961550007 |z (OCoLC)988433728 |z (OCoLC)991916958 |z (OCoLC)1037787581 |z (OCoLC)1038568538 |z (OCoLC)1045541735 |z (OCoLC)1055356104 |z (OCoLC)1066593961 |z (OCoLC)1077263458 |z (OCoLC)1081242648 |z (OCoLC)1083600150 |z (OCoLC)1153496574 |z (OCoLC)1228616380 |z (OCoLC)1259220079 | ||
| 037 | |a 328960 |b MIL | ||
| 050 | 4 | |a QA76.76.V47 |b N38 2011eb | |
| 050 | 4 | |a HD38.5 | |
| 072 | 7 | |a COM |x COM053000 |2 bisacsh | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.10289 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification |d (2010 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Software and systems safety : |b specification and verification / |c edited by Manfred Broy, Christian Leuxner and Tony Hoare. |
| 260 | |a Amsterdam : |b IOS Press, |c 2011. | ||
| 300 | |a 1 online resource (296 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 ; |v v. 30 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification, Marktoberdorf, Germany, 3-15 August 2010"--Title page verso. | ||
| 504 | |a Includes bibliographical references at chapter ends, and indexes. | ||
| 505 | 0 | 0 | |t Model-based testing / |r Mark Timmer, Ed Brinksma and Mariëlle Stoelinga -- |t Towards a theory of architectural contracts : |t schemes and patterns of assumption/promise based system specification / |r Manfred Broy -- |t Engineering evolving and self-adaptive systems: an overview / |r Carlo Ghezzi -- |t Formal verification / |r John Harrison -- |t Requirements models for critical systems / |r Constance Heitmeyer -- |t From concurrency models to numbers : |t performance and dependability / |r Holger Hermanns and Lijun Zhang -- |t Unifying models of data flow / |r Tony Hoare and John Wickerson -- |t Model-based verification and analysis for real-time systems / |r Uli Fahrenberg, Kim G. Larsen and Claus Thrane -- |t Model checking / |r Doron Peled. |
| 520 | |a Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Specification and Verification held at Marktoberdorf, Germany, in August 2010, and provides an excellent overview of current research results with special emphasis on software information security. Leading international researchers and experts present their experience in the specification and verification of software systems, accompanied by corresponding tools and methods. Subjects addressed include: model-based testing, schemes and patterns of assumption/promise-based system specification, requirements models for critical systems, engineering evolving and self-adaptive systems, unifying models of data flow, model-based verification and analysis of real-time systems, and model checking. The book will be of interest to all those dealing with information systems for whom security is of paramount importance. | ||
| 588 | |a Print version record. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 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 General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software |x Verification |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- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJw8T4PrdpfW4QPGjfQXh3 | |
| 700 | 1 | |a Leuxner, Christian, |e editor. | |
| 700 | 1 | |a Hoare, C. A. R. |q (Charles Antony Richard), |d 1934- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJd8dcpHCjCXDjKtFghmBP | |
| 758 | |i has work: |a Software and systems safety (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFyJpbfp9Fm6q43jRRrMGd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Broy, M. |t Software and Systems Safety : Specification and Verification. |d Amsterdam : IOS Press, ©2011 |z 9781607507109 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 30. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=784589 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 19558376 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL784589 | ||
| 938 | |a ebrary |b EBRY |n ebr10506356 | ||
| 938 | |a EBSCOhost |b EBSC |n 395230 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 328960 | ||
| 938 | |a YBP Library Services |b YANK |n 3639900 | ||
| 994 | |a 92 |b IZTAP | ||