Buscar
Mostrando ítems 1-6 de 6
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
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 ...
Ponencia
Towards a Rewriting Logic Semantics for ATL
(Springer, 2010)
As the complexity of model transformation (MT) grows, the need to count on formal semantics ofMT languages also increases. Firstly, formal semantics provide precise specifications of the expected behavior of transforma ...
Ponencia
Simulating Domain Specific Visual Models by Observation
(ACM Digital Library, 2010)
Domain Specific Visual Languages (DSVLs) are essential elements in Model-Driven Engineering (MDE) for representing models and metamodels. In-place model transformations provide an intuitive way to complement metamodels ...
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
(IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information systems, web portals, and web APIs. The large volume of data managed by these types of systems, ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...