Software and systems safety : specification and verification /

Mostrar otras versiones (1)

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification Marktoberdorf, Germany
Otros Autores: Broy, M., 1949- (Editor ), Leuxner, Christian (Editor ), Hoare, C. A. R. (Charles Antony Richard), 1934- (Editor )
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:
Computer software > Verification > Congresses.
Software engineering > Congresses.
Computer security > Congresses.
Logiciels > Vérification > Congrès.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > General.
COMPUTERS > Software Development & Engineering > Tools.
Computer security
Computer software > Verification
Software engineering
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Model-based testing / Mark Timmer, Ed Brinksma and Mariëlle Stoelinga
  • Towards a theory of architectural contracts : schemes and patterns of assumption/promise based system specification / Manfred Broy
  • Engineering evolving and self-adaptive systems: an overview / Carlo Ghezzi
  • Formal verification / John Harrison
  • Requirements models for critical systems / Constance Heitmeyer
  • From concurrency models to numbers : performance and dependability / Holger Hermanns and Lijun Zhang
  • Unifying models of data flow / Tony Hoare and John Wickerson
  • Model-based verification and analysis for real-time systems / Uli Fahrenberg, Kim G. Larsen and Claus Thrane
  • Model checking / Doron Peled.

Ejemplares similares