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
The Library Replies
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
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 19 (Search time: 0.004 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2008
Verification of UML/OCL class diagrams using constraint programming
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya
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
2022-05-30
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
GOMEZ GUTIERREZ, JUAN ANTONIO
;
Clarisó, Robert
;
Cabot, Jordi
;
Universitat Oberta de Catalunya
2006-11-24
The octahedron abstract domain (extended version)
Clarisó, Robert
;
Cortadella Fortuny, Jordi
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
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)
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
Discover
Author
9
Cabot, Jordi
4
Guerra, Esther
4
Lara Jaramillo, Juan de
3
Riera Terrén, Daniel
2
Jorba, Josep
.
next >
Subject
8
OCL
4
verificació i validació
4
verificación y validación
4
verification and validation
3
aprenentatge virtual
.
next >
Date issued
2
2020 - 2022
13
2010 - 2019
4
2006 - 2009
Type of publication
9
Article
7
Conference object
5
info:eu-repo/semantics/submittedV...
4
info:eu-repo/semantics/acceptedVe...
3
info:eu-repo/semantics/publishedV...
.
next >