1. Repositori Institucional (O2)

Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 11-20 de 29.
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2018-01-01On watermarking for collaborative model-driven engineeringMartínez Pérez, Salvador; Gérard, Sébastien; Cabot, Jordi; CEA-LIST: Laboratory for Integration of Systems and Technology; Universitat Oberta de Catalunya (UOC)
2017-11A model-based approach to gamify the learning of modelingCosentino, Valerio; Gérard, Sébastien; Cabot, Jordi
2017-11-27Smart bound selection for the verification of UML/OCL class diagramsClarisó, Robert; González Pérez, Carlos Alberto; Cabot, Jordi; University of Luxembourg; Universitat Oberta de Catalunya (UOC); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2017-06-01A UML profile for OData web APIsEd-douibi, Hamza; Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2016-12CEUR Workshop Proceedings: PrefaceBrucker, Achim D.; Cabot, Jordi; Sánchez-Barbudo Herrera, Adolfo
2018-05-21The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systemsAfzal, Wasif; Bruneliere, Hugo; Di Ruscio, Davide; Sadovykh, Andrey; Mazzini, Silvia; Cariou, Eric; Truscan, Dragos; Cabot, Jordi; Gómez Llana, Abel; Gorroñogoitia, Jesús; Pomante, Luigi; Smrz, Pavel; Università degli Studi dell'Aquila; Brno University of Technology; Åbo Akademi University; Université de Pau et des Pays de l'Adour; Mälardalen University; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2010-01-02Synthesis of OCL Pre-conditions for Graph Transformation RulesCabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya (UOC); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid
2016-10Community-based software development for MDE toolsCabot, Jordi; Canovas Izquierdo, Javier Luis; Cosentino, Valerio
2010-08-15Verification and validation of declarative model-to-model transformations through invariantsCabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid
2016-11-01Lightweight and static verification of UML executable modelsPlanas, Elena; Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universitat Politècnica de Catalunya (UPC)

Opciones relacionadas