Engineering methods and tools for software safety and security /

Mostrar otras versiones (1)

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany
Otros Autores: Broy, M., 1949-, Sitou, Wassiou, Hoare, C. A. R. (Charles Antony Richard), 1934-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.
Colección:NATO science for peace and security series. Information and communication security ; v. 22.
Temas:
Software engineering > Congresses.
Computer security > Congresses.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Computer security.
Software engineering.
Conference papers and proceedings.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares