Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributio

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise spec

The overwhelming majority of a software system’s lifespan is spent in use, not in design or implementation. So, why does conventional wisdom insist that softw

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl