780 search results - page 2 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
UML
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
AISC
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
TOPLAS
1998
13 years 4 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
SOSYM
2010
13 years 3 months ago
2010
