Sign in
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Sign in
Welcome!
Log into your account
your username
your password
Forgot your password?
Password recovery
Recover your password
your email
Search
Sign in
Welcome! Log into your account
your username
your password
Forgot your password? Get help
Password recovery
Recover your password
your email
A password will be e-mailed to you.
SigSand
planning - designing - developing IT
Special Interest Group on Systems Analysis and Design
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Home
Tags
Anna Queralt
Tag: Anna Queralt
AuRUS: explaining the validation of UML/OCL conceptual schemas
sigsand
-
October 29, 2020
0
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
sigsand
-
October 22, 2020
0
Reasoning on UML Class Diagrams with OCL Constraints
sigsand
-
October 20, 2020
0
AuRUS: Automated Reasoning on UML/OCL Schemas
sigsand
-
October 20, 2020
0
