6434 search results - page 156 / 1287 » Model Transformations with Reference Models |
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ICDE
2005
IEEE
14 years 11 months ago
2005
IEEE
A customizable and extensible tool is proposed to implement ModelGen, the model management operator that translates a schema from one model to another. A wide family of models is ...
GG
2004
Springer
14 years 3 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
DOCENG
2004
ACM
14 years 3 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
COLING
2002
13 years 10 months ago
2002
In this paper, we present a parser based on a stochastic structured language model (SLM) with a
exible history reference mechanism. An SLM is an alternative to an n-gram model as...