Financial services institutions like international banks and insurance companies frequently need to adapt to changes in their environments, yet manage risk and ensure ...

A collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes, this volume ...

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

"Designing a large software system is an extremely complicated undertaking that requires juggling differing perspectives and differing goals, and evaluating differing options ...