Engineering methods and tools for software safety and security /
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...
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: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Engineering methods and tools for software safety and security /
Publicado: (2009) -
Software and systems safety : specification and verification /
Publicado: (2011) -
Software and systems safety : specification and verification /
Publicado: (2011) -
New trends in software methodologies, tools and techniques : [proceedings of the sixth SoMET-07] /
Publicado: (2007) -
New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 /
Publicado: (2012)