Sciweavers

2 search results - page 1 / 1
» Introduction to OCL
Sort
View
TOOLS
1999
IEEE
13 years 9 months ago
Introduction to OCL
Jos Warmer, Anneke Kleppe
VLC
2011
83views more  VLC 2011»
12 years 11 months ago
A decision procedure for a decidable fragment of generalized constraint diagrams
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
Jim Burton, Gem Stapleton, Ali Hamie