Buscar
Mostrando ítems 11-19 de 19
Ponencia
Prototyping Component-Based Self-Adaptive Systems with Maude
(Universidad de Almería, 2012)
Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. ...
Artículo
Specification and simulation of queuing network models using Domain-Specific Languages
(Elsevier, 2014)
Queuing Network Models (QNMs) provide powerful notations and tools for modeling and analyzing the performance of many different kinds of systems. Although several powerful tools currently exist for solving QNMs, some ...
Ponencia
Introducing Approximate Model Transformations
(Universidad de Cádiz, 2014)
Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency ...
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, ...
Ponencia
Towards Systematic Mutations for and with ATL Model Transformations
(IEEE Computer Society, 2015)
Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level models. To enable this automation, transformation engines are used ...
Ponencia
On the Reusable Specification of Non-functional Properties in DSLs
(Springer, 2012)
Domain-specific languages (DSLs) are an important tool for effective system development. They provide concepts that are close to the problem domain and allow analysis as well as generation of full solution implementati ...
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 ...