807 search results - page 34 / 162 » Model Transformation Language MOLA |
100
Voted
MODELS
2007
Springer
15 years 8 months 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...
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
121
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
102
Voted
IJIT
2004
15 years 3 months ago
2004
In the paper a method of modeling text for Polish is discussed. The method is aimed at transforming continuous input text into a text consisting of sentences in so called canonical...
113
Voted
AINA
2004
IEEE
15 years 5 months ago
2004
IEEE
XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree-oriented transformation language for transmuting ins...