Sciweavers

1213 search results - page 85 / 243
» Refactoring UML Models
Sort
View
AIIA
2007
Springer
14 years 5 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...