Cargando…
Engineering Dependable Software Systems.
Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its deve...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2013.
|
| Colección: | NATO science for peace and security series. Information and communication security.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn863822120 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 131123s2013 ne ob 001 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCO |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCF |d DEBSZ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d COCUF |d MOR |d CCO |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d STF |d ICG |d INT |d OCLCQ |d TKN |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781614992073 | ||
| 020 | |a 161499207X | ||
| 020 | |z 9781614992066 | ||
| 029 | 1 | |a AU@ |b 000052902026 | |
| 029 | 1 | |a DEBBG |b BV044064029 | |
| 029 | 1 | |a DEBSZ |b 431540438 | |
| 035 | |a (OCoLC)863822120 | ||
| 050 | 4 | |a QA76.76.V47 |b N38 2012eb | |
| 082 | 0 | 4 | |a 004.2 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Broy, M. | |
| 245 | 1 | 0 | |a Engineering Dependable Software Systems. |
| 260 | |a Amsterdam : |b IOS Press, |c 2013. | ||
| 300 | |a 1 online resource (376 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 | |
| 505 | 0 | |a ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. | |
| 505 | 8 | |a Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index. | |
| 520 | |a Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 20. | ||
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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 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 Peled, D. | |
| 700 | 1 | |a Kalus, G. | |
| 758 | |i has work: |a Engineering dependable software systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFt9wMGV8j6QtTCY44M6w3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Broy, M. |t Engineering Dependable Software Systems. |d Amsterdam : IOS Press, ©2013 |z 9781614992066 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1477301 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1477301 | ||
| 994 | |a 92 |b IZTAP | ||