@InProceedings{Gogolla:2002:EURASIA,
  author =       "Martin Gogolla and Mark Richters",
  title =        "Development of {UML} Descriptions with {USE}",
  booktitle =    "Proc. 1st Eurasian Conf. Information and Communication
                  Technology (EURASIA'2002)",
  year =         "2002",
  editor =       "Hassan Shafazand and A Min Tjoa",
  volume =       "2510",
  series =       "LNCS",
  pages =        "228--238",
  publisher =    "Springer",
  abstract =     "The Object Constraint Language OCL is part of the Unified
                  Modeling Language UML. Within software engineering, UML
                  is regarded today as an important step towards
                  development of high-quality object-oriented systems. OCL
                  allows to describe system structure by invariants and
                  system behavior by pre- and postconditions. This paper
                  explains the functionality of the UML Specification
                  Environment USE which allows to validate and verify UML
                  and OCL descriptions. The paper also uses a new approach
                  to handle UML statecharts by OCL pre- and
                  postconditions.",
}