This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising soft

This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising soft

Object-Oriented Analysis and Design for Information Systems clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick e

- Exploit the significant power of design patterns and make better design decisions with the proven POAD methodology - Improve software quality and reliability

Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based