3564 search results - page 28 / 713 » Evaluating a Formal Modelling Language |
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
FM
2009
Springer
15 years 4 months ago
2009
Springer
ASSETS
2008
ACM
2008
ACM
Evaluation of a psycholinguistically motivated timing model for animations of american sign language
14 years 11 months ago
Using results in the psycholinguistics literature on the speed and timing of American Sign Language (ASL), we built algorithms to calculate the time-duration of signs and the loca...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...