1. Repositori Institucional (O2)

Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 1-9 de 9.
  • Anterior
  • 1
  • Siguiente
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2007From Declarative to Imperative UML/OCL Operation SpecificationsCabot, Jordi; Universitat Oberta de Catalunya
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
2009-07-31A UML/OCL framework for the analysis of fraph 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
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2005-01-02Computing the Relevant Instances That May Violate an OCL ConstraintCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2006-01-02Incremental Evaluation of OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2007-05-14Transformation Techniques for OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2007Deriving Operation Contracts from UML Class DiagramsCabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya
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

Opciones relacionadas