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-09-01	Model-based analysis of Java EE web security misconfigurations	Martínez Pérez, Salvador; Cosentino, Valerio; Cabot, Jordi; AtlanMod; Universitat Oberta de Catalunya (UOC)
2015-08-07	Backwards reasoning for model transformations: method and applications	Clarisó, Robert; Cabot, Jordi; Guerra, Esther; Lara Jaramillo, Juan de; Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid
2016-07	JSONDiscoverer: Visualizing the schema lurking behind JSON documents	Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2016-10-01	Analysis of co-authorship graphs of CORE-ranked software conferences	Canovas Izquierdo, Javier Luis; Cosentino, Valerio; Cabot, Jordi
2017-06-20	Example-driven web API specification discovery	Ed-douibi, Hamza; Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2017-11-27	Smart bound selection for the verification of UML/OCL class diagrams	Clarisó, 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)
2017-06-01	A UML profile for OData web APIs	Ed-douibi, Hamza; Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2018-05-21	The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems	Afzal, 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-08-15	Verification and validation of declarative model-to-model transformations through invariants	Cabot, 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
2016-11-01	Lightweight and static verification of UML executable models	Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universitat Politècnica de Catalunya (UPC)