921 search results - page 3 / 185 » UML - A Universal Modeling Language |
UML
2005
Springer
15 years 8 months ago
2005
Springer
117
click to vote
UML
2001
Springer
15 years 7 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...
142
click to vote
UML
2005
Springer
15 years 8 months 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...
116
click to vote
DAGSTUHL
2006
15 years 4 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...