Experience with Formal Specification of CMM and UML

Warmer, Jos and Hogg, John and Cook, Steve J. and Selic, Bran (1997) Experience with Formal Specification of CMM and UML. In: Bosch, Jan and Mitchell, Stuart, eds. Object-Oriented Technologys. Lecture Notes In Computer Science, 1357. Springer-Verlag , Munchen pp. 216-220. ISBN 3540640398. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL


A simple specification language (OCL) was used to specify and analyze metamodels and metametamodels as part of the OMG OOA&D standardization process. Significant benefits were seen from a small investment in “user-friendly” formality.

Item Type: Conference or workshop item (Paper)
Additional information: (TUM-I19725, http://www.informatik.tu-muenchen.de) Held as a workshop at ECOOP'97
Uncontrolled keywords: object oriented technology ; ECOOP ; precise semantics
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 25 Aug 2009 17:28
Last Modified: 30 Jun 2014 10:54
Resource URI: https://kar.kent.ac.uk/id/eprint/21498 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year