Developed for its direct applicability to industrial practice, the CoBRA method of cost estimation, benchmarking and risk analysis in software design is a proven antidote to cost overruns and project delays, with several successful case studies included here.
This book describes knowledge management in software architecture. It presents many approaches that are in use in software companies today, approaches that have been used in other domains, and approaches under development in academia.
Software architects work within a very multi-facetted and dynamic environment. This book aids programmers, software developers, and software architects in understanding, classifying, as well as assessing all of these developments and innovations.
Based on the paradigm of model-driven security, the authors of this book show how to systematically design and realize security-critical applications for SOAs. In a second step, they apply the principles of model-driven security to SOAs.
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.