1. Repositori Institucional (O2)

Buscar


Filtros actuales:


Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 1-5 de 5.
  • Anterior
  • 1
  • Siguiente
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2015-08-07Backwards reasoning for model transformations: method and applicationsClarisó, Robert; Cabot, Jordi; Guerra, Esther; Lara Jaramillo, Juan de; Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid
2017-03-22Traceability mappings as a fundamental instrument in model transformationsDiskin, Zinovy; Gómez Llana, Abel; Cabot, Jordi; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); McMaster University
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)
2011-06Two basic correctness properties for ATL transformations: Executability and coveragePlanas, Elena; Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC); Institut National de Recherche en Informatique et en Automatique (Inria)
2015-08-11Software modernization revisited: Challenges and prospectsBruneliere, Hugo; Cabot, Jordi; Canovas Izquierdo, Javier Luis; Orue-Echevarria Arrieta, Leire; Strauss, Olivier; Wimmer, Manuel; Institut National de Recherche en Informatique et en Automatique (Inria); Universitat Oberta de Catalunya (UOC); Tecnalia; Fraunhofer-Institut für Arbeitswirtschaft und Organisation; Technische Universität Wien

Opciones relacionadas