5525 search results - page 68 / 1105 » Verification of Model Transformations |
UML
2005
Springer
15 years 3 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 ...
MODELLIERUNG
2008
14 years 11 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
FASE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
COST
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
HVC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...