Engineering Methods and Tools for Software Safety and Security
Author | : M. Broy |
Publisher | : |
Total Pages | : 333 |
Release | : 2009-01-01 |
ISBN-10 | : 1441616136 |
ISBN-13 | : 9781441616135 |
Rating | : 4/5 (36 Downloads) |
Download or read book Engineering Methods and Tools for Software Safety and Security written by M. Broy and published by . This book was released on 2009-01-01 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.