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...
| Автор-организации: | NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany) |
|---|---|
| Други автори: | Broy, M., 1949-, Sitou, Wassiou., Hoare, C. A. R. 1934- |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
℗♭2009.
|
| Серия: |
NATO science for peace and security series. Information and communication security ;
v. 22. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281426 |
| Подобни документи: |
Print version::
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 practice. |
|---|---|
| Описание на библ. документ: |
"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. |
| Физически характеристики: |
1 online resource (ix, 333 pages) : illustrations. |
| Библиография: |
Includes bibliographical references and index. |
| ISBN: |
9781441616135 1441616136 9781607504108 1607504103 9781586039769 1586039768 |
| ISSN: |
1874-6268 ; |