by
NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)
Call Number
005.1 22
Publication Date
2009
Summary
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.
Format:
Electronic Resources
Relevance:
0.0657
View Other Search Results
by
Broy, M., 1949-
Call Number
005 22
Publication Date
2007
Summary
To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering.
Format:
Electronic Resources
Relevance:
0.0635
View Other Search Results
Limit Search Results
Narrowed by: