Sciweavers

3579 search results - page 18 / 716
» Transformations of software models into performance models
Sort
View
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
15 years 5 months ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...
ICMT
2011
Springer
14 years 3 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 9 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
PDP
2003
IEEE
15 years 5 months ago
On Using ZENTURIO for Performance and Parameter Studies on Cluster and Grid Architectures
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
Radu Prodan, Thomas Fahringer, Michael Geissler, G...