Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Representing and Operating with Model Differences., and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 141-160. Springer, (2008)Formal Specification and Analysis of Domain Specific Models Using Maude., , and . Simul., 85 (11-12): 778-792 (2009)Formal and Tool Support for Model Driven Engineering with Maude., , , and . J. Object Technol., 6 (9): 187-207 (2007)Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies, , and . AMMSE, volume 56 of EPTCS, page 49-63. (2011)On the Specification of Non-Functional Properties of Systems by Observation., , and . NFPinDSML@MoDELS, volume 553 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Adding Behavior to Models., and . EDOC, page 169-180. IEEE Computer Society, (2007)Wires* : A Tool for Orchestrating Model Transformations., , , and . JISBD, page 158-161. (2009)Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones., and . CIbSE, page 375-379. (2008)Behavior, Time and Viewpoint Consistency: Three Challenges for MDE., , and . MoDELS (Workshops), volume 5421 of Lecture Notes in Computer Science, page 60-65. Springer, (2008)Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude., , , and . SLE, volume 5452 of Lecture Notes in Computer Science, page 54-73. Springer, (2008)