Author of the publication

Verification of UML/OCL Class Diagrams using Constraint Programming.

, , and . ICST Workshops, page 73-80. IEEE Computer Society, (2008)

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

Corpus-based analysis of domain-specific languages., and . Softw. Syst. Model., 14 (2): 889-904 (2015)Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2010)Incremental integrity checking of UML/OCL conceptual schemas., and . J. Syst. Softw., 82 (9): 1459-1478 (2009)Desarrollo de Software Dirigido por Modelos (DSDM, 7ª ed.)., , , , and . JISBD, page 347. IBERGARCETA Pub. S.L., (2010)Adopting Agile Methods: Can Goal-Oriented Social Modeling Help?., , and . RCIS, page 223-234. IEEE, (2010)On Watermarking for Collaborative Model-Driven Engineering., , and . IEEE Access, (2018)Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15)., and . Softw. Syst. Model., 17 (3): 715-716 (2018)Automatic generation of basic behavior schemas from UML class diagrams., , , and . Softw. Syst. Model., 9 (1): 47-67 (2010)Towards a model-driven approach for multiexperience AI-based user interfaces., , , and . Softw. Syst. Model., 20 (4): 997-1009 (2021)Scalable modeling technologies in the wild: an experience report on wind turbines control applications development., , , , , , , , , and . Softw. Syst. Model., 19 (5): 1229-1261 (2020)