958 search results - page 24 / 192 » Model Transformation Languages and Their Implementation by B... |
108
click to vote
IFL
1997
Springer
15 years 5 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
113
click to vote
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
133
click to vote
ER
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
101
click to vote
IFM
1999
Springer
15 years 5 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
115
click to vote
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...