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
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-4 of 4 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2007
From Declarative to Imperative UML/OCL Operation Specifications
Cabot, Jordi
;
Universitat Oberta de Catalunya
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
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)
2007
Deriving Operation Contracts from UML Class Diagrams
Cabot, Jordi
;
Gómez Seoane, Cristina
;
Universitat Oberta de Catalunya
Discover
Author
1
Brambilla, Marco
1
Gómez Seoane, Cristina
1
Moreno Vergara, Nathalie
1
Teniente López, Ernest
Subject
3
UML (Computer science)
3
UML (Informàtica)
3
UML (Informática)
1
integrity constraints
1
OCL
.
next >
Type of publication
3
Article
2
info:eu-repo/semantics/acceptedVe...
1
Conference object