1. Repositori Institucional (O2)

Cerca


Filtres actuals:


Començar nova cerca
Afegir filtres:

Fes servir filtres per afinar els resultats de la cerca.

 | 
Resultats 1-5 de 5.
  • anterior
  • 1
  • següent
Registres trobats:
Data de publicacióTítolAutor(s)
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

Opcions relacionades