Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
Help
Log in
Log in
Receive email
updates
Edit Profile
Repositori Institucional (O2)
Search
Search:
All the O2
Recerca
Tecnología y comunicación
Informàtica, tecnologia i multimèdia
Congressos UOC
Articles
Capítols o parts de llibres
Conferències
Tesis doctorales (Bioinformatics)
Trabajos de investigación
for
Current filters:
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 12 (Search time: 0.006 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2019-09-16
A feasibility study on using classifying terms in alloy. A case study
Clarisó, Robert
;
Gogolla, Martin
;
Universitat Oberta de Catalunya (UOC)
;
University of Bremen
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
2019-09-13
Towards a framework for assessing IT strategy execution
Rodríguez Bermúdez, José Ramón
;
Clarisó, Robert
;
Marco-Simó, Josep Maria
;
Universitat Oberta de Catalunya (UOC)
2013-03-26
Proceedings of the 6th International Symposium on Frontiers of Information Systems and Network Applications (FINA-2013)
Colomina Torregrosa, Ignacio
;
Arnedo-Moreno, Joan
;
Clarisó, Robert
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)
2015-05
El Máster Universitario en Ingeniería Informática en un contexto no presencial
Clarisó, Robert
;
Marco-Galindo, Maria-Jesús
;
Marco-Simó, Josep Maria
;
Prieto Blázquez, Josep
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya (UOC)
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
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-12-11
Constraint programming for type inference in flexible model-driven engineering
Zolotas, Athanasios
;
Clarisó, Robert
;
Matragkas, Nicholas
;
Kolovos, Dimitrios S.
;
Paige, Richard F.
;
University of York
;
Universitat Oberta de Catalunya. Estudis d'Informàtica, Multimèdia i Telecomunicació
;
University of Hull
2019-01-12
Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan.
Rodríguez, José-Ramón
;
Clarisó, Robert
;
Marco-Simó, Josep Maria
Discover
Author
4
Cabot, Jordi
3
Guerra, Esther
3
Lara Jaramillo, Juan de
2
Jorba, Josep
2
Marco-Simó, Josep Maria
.
next >
Subject
5
OCL
3
aprenentatge virtual
3
e-learning
2
Enginyeria de programari
2
Ensenyament virtual
.
next >
Date issued
3
2019
1
2018
1
2017
1
2016
2
2015
1
2014
1
2013
2
2010
Type of publication
6
Article
4
info:eu-repo/semantics/submittedV...
3
Conference object
2
Book part
2
info:eu-repo/semantics/publishedV...
.
next >