Repositori Institucional (O2): Buscar

Buscar

Resultados 1-10 de 12.

Anterior
1
2
Siguiente

Registros encontrados:

Fecha de publicación	Título	Autor(es)
2017-06-20	On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development	Gómez Llana, Abel; Mendialdua, Xabier; Bergmann, Gábor; Cabot, Jordi; Debreceni, Csaba; Garmendia, Antonio; Kolovos, Dimitrios S.; Lara Jaramillo, Juan de; Trujillo, Salvador; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); IK4-IKERLAN; Budapest University of Technology and Economics; Universidad Autónoma de Madrid; University of York
2008	Verification of UML/OCL class diagrams using constraint programming	Cabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya
2022-05-30	A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams	GOMEZ GUTIERREZ, JUAN ANTONIO; Clarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya
2017-03-22	Traceability mappings as a fundamental instrument in model transformations	Diskin, Zinovy; Gómez Llana, Abel; Cabot, Jordi; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); McMaster University
2007-01-02	Tool Support for Model Checking of Web application designs	Brambilla, Marco; Cabot, Jordi; Moreno Vergara, Nathalie; Universitat Oberta de Catalunya (UOC); Universidad de Málaga; Politecnico di Milano
2017-06-01	A UML profile for OData web APIs	Ed-douibi, Hamza; Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2016-12	CEUR Workshop Proceedings: Preface	Brucker, Achim D.; Cabot, Jordi; Sánchez-Barbudo Herrera, Adolfo
2010-01-02	Synthesis of OCL Pre-conditions for Graph Transformation Rules	Cabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya (UOC); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid
2009-01-02	Verifying UML/OCL operation contracts	Cabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2006-01-02	Incremental Evaluation of OCL Constraints	Cabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)