Cargando…
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: | |
| Otros Autores: | , , |
| 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 |
| Sumario: | 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 practice. |
|---|---|
| Notas: | "Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso |
| Descripción Física: | 1 online resource (ix, 333 pages) : illustrations |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781441616135 1441616136 9781607504108 1607504103 9781586039769 1586039768 |
| ISSN: | 1874-6268 ; |