Repositori Institucional (O2): Search

Search

Results 1-8 of 8 (Search time: 0.003 seconds).

previous
1
next

Item hits:

Issue Date	Title	Author(s)
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
2009-07-31	A UML/OCL framework for the analysis of fraph 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)
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)
2002-12-05	Time correlation of intercell to intracell interference ratio in W-CDMA network	Adelantado, Ferran; Sallent Roig, José Oriol; Perez-Romero, Jordi; AGUSTI, RAMON
2005-12	Dynamic common pilot power management in a real hot spot environment	Adelantado, Ferran; Casadevall, Ferran
2008-01-02	Supporting Effective Monitoring and Knowledge Building in Online Collaborative Learning Systems	Caballé, Santi; Juan, Angel A.; XHAFA, FATOS; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)