921 search results - page 3 / 185 » UML - A Universal Modeling Language |
UML
1997
Springer
13 years 11 months ago
1997
Springer
UML
2005
Springer
14 years 17 days ago
2005
Springer
UML
2001
Springer
13 years 11 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
UML
2005
Springer
14 years 17 days ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
DAGSTUHL
2006
13 years 8 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...