23 search results - page 5 / 5 » Synchronizing Refactored UML Class Diagrams and OCL Constrai... |
MODELS
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
DAGSTUHL
2004
13 years 7 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
TVCG
2008
13 years 5 months ago
2008
A standard approach to large network visualization is to provide an overview of the network and a detailed view of a small component of the graph centred around a focal node. The u...