'<h2 class=abstract> High-quality modeling with UML </h2> <p class=abstract> This tutorial presents an approach to using UML that leads to high quality models. The high level of quality in the models comes from: <ul><li> extensive cross-checking between different models (which requires us to pay attention to the possible meanings you can give to certain models) <li>maintaining continuity of structure and behavior (from models of the problem domain, through black-box models of the system, to design models of software) <li>careful testing of models (example-level models are used to test general-level models).  </ul> <p class=abstract> High levels of quality can be achieved with just a little investment in training and a little extra effort during modelling.  '