T1 T2 T3 T4 T5 T6 T7 T11 T12 T13 T14 T15 All

Tutorial T1 (Monday, 30 August, 09.00-17.30):
Understanding and applying the Unified Modeling Language (UML)
Robert France and Andy Evans

The Unified Modeling Language (UML) is an Object Management Group standard object modeling notation. This tutorial develops an understanding of UML models that can lead to effective use.
  • Introduction: A brief history of UML
  • An overview of UML
  • Towards a precise semantics for UML models
  • The Object Constraint Language (OCL)
  • High-level design modeling using the UML
  • Architectural modeling using the UML
  • Rigorous analysis of UML models
  • The Unified Process: An overview
  • Evolving the UML

Robert France, Associate Professor in the Department of Computer Science at Colorado State University, researches in the development of rigorous object-oriented modeling and analysis techniques. Andy Evans, Lecturer in the Department of Computer Science, University of York, UK, researches in the development of precise modeling notations and their application to the development of provably correct object-oriented and real-time systems.