18 search results - page 1 / 4 » Finite Satisfiability of UML Class Diagrams by Constraint Pr... |
DLOG
2004
13 years 6 months ago
2004
AIIA
2007
Springer
13 years 11 months ago
2007
Springer
ER
2010
Springer
13 years 2 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
DLOG
2010
13 years 2 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
UML
2005
Springer
13 years 10 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...