In this book leading researchers and practitioners describe the disciplines of software requirements engineering and software architecture, identify key issues, examine the state of the art in research and practice and outline emerging trends and challenges.
Using the latest research and driven by practical experience from industry, this book gives useful hints to practitioners on how to write and structure requirements. It will benefit those seeking to develop their knowledge of requirements engineering process.
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.
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.