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 42 a 57 de 57 < Anterior 
Fecha de publicaciónTítuloAutor(es)
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)
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
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
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-02-16Tipus Abstractes de Dades i Disseny per ContracteMariné Gallisà, Esteve; Universitat Oberta de Catalunya; Cabot, Jordi
2007-01-02Tool Support for Model Checking of Web application designsBrambilla, Marco; Cabot, Jordi; Moreno Vergara, Nathalie; Universitat Oberta de Catalunya (UOC); Universidad de Málaga; Politecnico di Milano
2021-08-02Towards a model-driven approach for multiexperience AI-based user interfacesPlanas, Elena; Daniel, Gwendal; Brambilla, Marco; Cabot, Jordi; Universitat Oberta de Catalunya (UOC); Internet Interdisciplinary Institute (IN3)
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 42 a 57 de 57 < Anterior