Author of the publication

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development.

, , , , , , , , and . ECMFA, volume 10376 of Lecture Notes in Computer Science, page 300-315. Springer, (2017)

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

MDE 2.0 : Pragmatical formal model verification and other challenges.. (2012)Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages., , , , , and . CDVE, volume 8091 of Lecture Notes in Computer Science, page 101-110. Springer, (2013)Online division of labour: emergent structures in Open Source Software., , , , and . CoRR, (2019)Smart Bound Selection for the Verification of UML/OCL Class Diagrams., , and . IEEE Trans. Software Eng., 45 (4): 412-426 (2019)Verifying UML/OCL Operation Contracts., , and . IFM, volume 5423 of Lecture Notes in Computer Science, page 40-55. Springer, (2009)Analysing Graph Transformation Rules through OCL, , , and . (2008)An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations, , , and . (2008)UMLtoSBVR: Una herramienta para la validación de modelos UML mediante SBVR., , and . JISBD, page 359-362. (2009)An OpenAPI-Based Testing Framework to Monitor Non-functional Properties of REST APIs., , , and . ICWE, volume 12128 of Lecture Notes in Computer Science, page 533-537. Springer, (2020)Constraint Support in MDA Tools: A Survey., and . ECMDA-FA, volume 4066 of Lecture Notes in Computer Science, page 256-267. Springer, (2006)