Sciweavers

958 search results - page 15 / 192
» Model Transformation Languages and Their Implementation by B...
Sort
View
ICMT
2011
Springer
14 years 3 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...
ISOLA
2010
Springer
14 years 9 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
84
Voted
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
15 years 3 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
ICPR
2000
IEEE
15 years 4 months ago
Video-Based Continuous Sign Language Recognition Using Statistical Methods
This paper is concerned with a development of a videobased recognition system of continuous sign language. The system aimsfor an automatic signer dependent recognition of sign lan...
Britta Bauer, Hermann Hienz, Karl-Friedrich Kraiss
FASE
2010
Springer
15 years 6 months ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...