Repositori Institucional (O2): Cerca

Cerca

Resultats 21-30 de 45.

Registres trobats:

Data de publicació	Títol	Autor(s)
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)
2016-10	Community-based software development for MDE tools	Cabot, Jordi; Canovas Izquierdo, Javier Luis; Cosentino, Valerio
2005-01-02	Computing the Relevant Instances That May Violate an OCL Constraint	Cabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
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)
2007-05-14	Transformation Techniques for OCL Constraints	Cabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
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
2021-11-09	User-driven diverse scenario exploration in model finders	Clarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya
2007	Deriving Operation Contracts from UML Class Diagrams	Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya
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)