228 search results - page 29 / 46 » Reasoning on UML class diagrams |
RSP
2000
IEEE
14 years 3 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
ISSRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
ADVIS
2006
Springer
14 years 4 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
SQJ
2008
13 years 9 months ago
2008
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
DAGSTUHL
2004
14 years 7 days 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...