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 it...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany, NATO Emerging Security Challenges Division
Otros Autores: Broy, M., 1949- (Editor ), Peled, Doron A., 1962- (Editor ), Kalus, Georg (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, [2013]
Colección:NATO science for peace and security series. Information and communication security ; v. 34.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views / Manfred Broy
  • Mastering system analysis and design through abstraction and refinement / Michael Butler
  • Data abstraction in VCC / Ernie Cohen
  • Families of software systems: a model checking approach / Stefania Gnesi
  • A tutorial on runtime verification / Yliès Falcone, Klaus Havelund and Giles Reger
  • Model checking meets probability: a gentle introduction / Joost-Pieter Katoen
  • Risk-driven engineering of requirements for dependable systems / Axel van Lamsweerde
  • Model-based verification, optimization, synthesis and performance evaluation of real-time systems / Uli Fahrenberg, Kim G. Larsen, Axel Legay and Claus Thrane
  • Model-driven engineering and model transformation: for fun and profit / Richard F. Paige and Dimitrios S. Kolovos
  • Symbolic execution and software testing / Corina S. Păsăreanu
  • Model checking basics / Doron Peled
  • Subject index
  • Author index.