870 search results - page 43 / 174 » The MT model transformation language |
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
14 years 3 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
ER
2000
Springer
14 years 2 months ago
2000
Springer
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
ER
2009
Springer
14 years 2 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...
DAGM
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we employ a zero-order local deformation model to model the visual variability of video streams of American sign language (ASL) words. We discuss two possible ways o...