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
Articles
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 10 (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-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)
2009-06-10
A Framework for verifying UML behavioral models
Planas, Elena
;
Universitat Oberta de Catalunya (UOC). Estudis d'Informàtica, Multimèdia i Telecomunicació
2008-12
SR-1: A simulation-based algorithm for the capacitated vehicle routing problem
Faulin, Javier
;
Gilibert Sunyé, Miguel
;
Juan, Angel A.
;
Vilajosana, Xavier
;
Ruiz, Rubén
2007-12
J-SAEDES: A Java-based simulation software to improve reliability and availability of computer systems and networks
Juan, Angel A.
;
Faulin, Javier
;
Marquès Puig, Joan Manuel
;
Sorroche Montellano, Mateo
2009-12
Simulation education in the Internet age: some experiences on the use of pure online and blended learning models
Fonseca Casas, Pau
;
Juan, Angel A.
;
Plà-Aragonés, Lluís M.
;
Rodríguez Sánchez, Sara V.
;
Faulin, Javier
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)
2005-12
SAEDES++: determining complex system availability via simulation
Faulin, Javier
;
Juan, Angel A.
;
Bargueño Fariñas, Vicente
;
Serrat Piè, Carles
2009-12
Applications of discrete-event simulation to reliability and availability assessment in civil engineering structures
Juan, Angel A.
;
Monteforte, Arai
;
Ferrer, Albert
;
Serrat Piè, Carles
;
Faulin, Javier
Discover
Author
6
Juan, Angel A.
5
Faulin, Javier
3
Cabot, Jordi
2
Serrat Piè, Carles
1
Bargueño Fariñas, Vicente
.
next >
Subject
2
digital simulation
2
OCL
2
simulació per ordinador
2
simulación por ordenador
2
UML
.
next >
Date issued
4
2009
2
2008
2
2007
1
2006
1
2005
Type of publication
4
info:eu-repo/semantics/acceptedVe...