22 search results - page 5 / 5 » Model Checking of Extended OCL Constraints on UML Models in ... |
ICWE
2005
Springer
13 years 10 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
FROCOS
2011
Springer
12 years 4 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...