1. Repositori Institucional (O2)

Buscar por Autor

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 49 a 57 de 57 < Anterior 
Fecha de publicaciónTítuloAutor(es)
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
2007-05-14Transformation Techniques for OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
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)
2016-10-07UMLtoGraphDB: Mapping conceptual schemas to graph databasesDaniel, Gwendal; Sunyé, Gerson; Cabot, Jordi; Institut National de Recherche en Informatique et en Automatique (Inria); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2021-11-09User-driven diverse scenario exploration in model findersClarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya
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
2008Verification of UML/OCL class diagrams using constraint programmingCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2008-05-01¿Podemos darle la vuelta a la enseñanza del desarrollo del software?Marco-Simó, Josep Maria; Riera Terrén, Daniel; Caballé, Santi; Cabot, Jordi; Arnedo-Moreno, Joan; Rodríguez-González, M. Elena; Rius, Àngels; Marco-Galindo, Maria-Jesús; Guitart, Isabel
Mostrando resultados 49 a 57 de 57 < Anterior