26 search results - page 1 / 6 » Finite Model Reasoning on UML Class Diagrams Via Constraint ... |
AIIA
2007
Springer
13 years 11 months ago
2007
Springer
DLOG
2004
13 years 7 months ago
2004
IJISMD
2010
13 years 2 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...