Validated Designs for Object-oriented Systems

Provides an introduction to practical formal modelling techniques in the context of object-oriented system design. This title is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course.