Buscar
Mostrando ítems 1-10 de 40
Ponencia
TractsTool: Testing Model Transformations based on Contracts
(CEUR-WS, 2013)
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, ...
Ponencia
Concurrent Model Transformations with Linda
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large ...
Ponencia
Parallel In-place Model Transformations with LinTra
(CEUR-WS, 2015)
As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and ...
Ponencia
Adapting Component-based User Interfaces at Runtime using Observers
(Universidade da Coruña, 2011)
Model-driven engineering (MDE) already plays a key role in Human-Computer Interaction for the automatic generation of end-user interfaces from their abstract and platform-independent specifications. Moreover, MDE ...
Ponencia
On the Specification of Non-functional Properties of Systems by Observation
(Springer, 2009)
Domain specific languages play a cornerstone role in Model-Driven Engineering (MDE) for representing models and metamodels. So far, most of the MDE community efforts have focused on the specification of the functional ...
Ponencia
A Domain Specific Visual Language for Modeling Power-Aware Reliability in Wireless Sensor Networks
(ACM Digital Library, 2012)
Reliability is an attribute that appears in all quality models, so it is important to take it into account when developing any kind of system. Its evaluation at latter stages of the software development may force the ...
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...
Ponencia
On the Modular Specification of Non-Functional Properties in DSVLs
(Universidad de Almería, 2012)
In previous work we have presented an approach to monitor nonfunctional properties of systems modeled in terms of domain specific visual languages using observers. In this work we present an approach to decouple the ...
Ponencia
Towards Approximate Model Transformations
(CEUR-WS, 2014)
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having ...
Ponencia
Lightweight Testing of Communication Networks with e-Motions
(Springer, 2011)
This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following ...