Sciweavers

6018 search results - page 221 / 1204
» Factored Translation Models
Sort
View
CAISE
2008
Springer
15 years 7 months ago
AutoModelGen: A Generic Data Level Implementation of ModelGen
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
Andrew Smith, Peter McBrien
VRST
2006
ACM
15 years 11 months ago
Spatial input device structure and bimanual object manipulation in virtual environments
Complex 3D interaction tasks require the manipulation of a large number of input parameters. Spatial input devices can be constructed such that their structure reflects the task ...
Arjen van Rhijn, Jurriaan D. Mulder
WSC
2007
15 years 8 months ago
From domain ontologies to modeling ontologies to executable simulation models
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
ICSE
2005
IEEE-ACM
16 years 6 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
FMOODS
2007
15 years 7 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga