This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in pra

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to