by Issa Traore (University of Victoria, Canada) & Ahmed Awad E Ahmed (University of Victoria, Canada)

Designing reliable, complex and dependable software systems is a continuous challenge to the software engineering community. The contribution of this book is two fold: bring to light a large body of knowledge on this issue and proposing basic techniques to build secure high-performance software systems. The first part focuses on performance requirements analysis for distributed software systems. Techniques for analyzing and testing software performance requirements are introduced. The second part proposes a model-driven perspective on secure software engineering. A systematic security engineering process is presented, which starts in the early stages of the software development process and spans the entire software lifecycle.

• Performance Engineering for Distributed Software Systems:
  • Software Performance Life Cycle
  • Software Performance Metrics
  • Queueing Network Models
  • Performance Models for Distributed Software Systems
  • Performance Analysis and Testing
• Software Security Engineering:
  • Aspects of Software Security
  • Software Security Engineering
  • Software Security Risk Analysis
  • Software Security Policy
  • Software Security Design and Modeling
  • Software Security Validation and Verification