@InProceedings{Evans:1997:NFMW,
  author =       "Andy Evans and Tony Clark",
  title =        "Foundations of the {Unified} {Modeling} {Language}",
  booktitle =    "Proc. of the 2nd BCS-FACS Northern Formal Methods
                  Workshop, Ilkley, UK, 23-24 September 1997",
  year =         "1997",
  abstract =     "Our paper concentrates on the central need to develop
                  formal specification languages and concepts which are
                  'industry compliant'. We examine the Unified Modeling
                  Language (UML), which has recently been proposed as a
                  standard language for expressing object-oriented designs,
                  and propose that this may provide a rich area for
                  investigation. As an example, we present a Z
                  specification of the denotational semantics for a core
                  part of the UML and discuss how such a semantics can be
                  used to effect within an industrial context.",
}