Financial Software Engineering

The B Language and Method: A Guide to Practical Formal Development

Agile Model-Based Development Using UML-RSDS

Formal Object-Oriented Development

Advanced Systems Design with Java, UML and MDA

Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering