Skip to main content

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 ECOOP’97 Workshop Reader ECOOP’97 Workshops. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 216-220. ISBN 978-3-540-64039-4. E-ISBN 978-3-540-69687-2. (doi:10.1007/3-540-69687-3_44) (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 currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/3-540-69687-3_44

Abstract

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: Book section
DOI/Identification number: 10.1007/3-540-69687-3_44
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 > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 25 Aug 2009 17:28 UTC
Last Modified: 31 May 2019 09:08 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21498 (The current URI for this page, for reference purposes)
  • Depositors only (login required):