23 citations · 32 across the 5 of their papers we have counts for
5 papers
Ann: A domain-specific language for the effective design and validation of Java annotations
Irene Córdoba, Juan de Lara
This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown…
A modelling language for the effective design of Java annotations
Irene Córdoba, Juan de Lara
This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful t…
An Algebraic Formalization of the GoF Design Patterns
Paolo Bottoni, Esther Guerra, Juan de Lara
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based o…
Matrix Graph Grammars and Monotone Complex Logics
Pedro Pablo Perez Velasco, Juan de Lara
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previo…
Pattern-based Model-to-Model Transformation: Long Version
Juan de Lara, Esther Guerra
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple g…