Title
Experience with Formal Specification of CMM and UML
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.
Year
DOI
Venue
1997
10.1007/3-540-69687-3_44
ECOOP Workshops
Keywords
Field
DocType
simple specification language,formal specification,significant benefit,d standardization process,omg ooa,small investment,computer programming,specification language
Specification language,Programming language specification,Programming language,Unified Modeling Language,Computer science,Formal specification,Language Of Temporal Ordering Specification,Formal methods,Object Constraint Language,Computer programming
Conference
ISBN
Citations 
PageRank 
3-540-64039-8
5
4.27
References 
Authors
3
4
Name
Order
Citations
PageRank
Jos Warmer121241.21
John Hogg27710.98
Steve Cook354.27
Bran Selic42210260.95