Delivering Dependable Software Systems

This book provides readers with a unified approach and invaluable guidance for developing, building, achieving, assessing, certifying, and maintaining trustworthy software-intensive systems for operational use Presents practical solutions and case studies of scaling of methods and productivity using tools and automation Discusses how security, confidentiality, reliability, and safety have become dominant issues in today's large-scale software systems used in transportation, telecommunications, utilities, health care, and financial services