Skip navigation
Universitat Oberta de Catalunya
CA
català
español
english
Universitat Oberta
de Catalunya
Inici
Explora
Tot el repositori
Browse Items by:
Autor
Títol
Data de publicació
Matèria
La Biblioteca respon
Identificaʹt
Identifica't
Alertes
Editar perfil
Repositori Institucional (O2)
Cerca
Cerca:
Tot l'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
per
Filtres actuals:
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Començar nova cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Resultats 1-10 de 13.
anterior
1
2
següent
Registres trobats:
Data de publicació
Títol
Autor(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
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)
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
2014-10
Experiences in digital circuit design courses: a self-study platform for learning support
Baneres, David
;
Clarisó, Robert
;
Jorba, Josep
;
Serra, Montse
;
Universitat Oberta de Catalunya (UOC)
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)
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
Opcions relacionades
Autor
4
Cabot, Jordi
3
Guerra, Esther
3
Lara Jaramillo, Juan de
3
Marco-Simó, Josep Maria
2
Jorba, Josep
.
següent >
Matèria
5
OCL
3
aprenentatge virtual
3
e-learning
2
Enginyeria de programari
2
Ensenyament virtual
.
següent >
Data de publicació
3
2019
2
2018
1
2017
1
2016
2
2015
1
2014
1
2013
2
2010
Tipus de publicació
1
info:eu-repo/semantics/publishedV...
1
Informe
.
< anterior