robertclariso

Universitat Oberta de CatalunyaBarcelona

Pinned Repositories

mobile-app-dev-UOC.github.io
Course materials for the "Mobile app development course" at Universitat Oberta de Catalunya
Language:HTML1 1 00
ocl2020
Public repository to keep some sources related to OCL Workshop'20 organization.
Language:CSS0 6 00
ocl2021
Public repository to keep some sources related to OCL Workshop'21 organization.
Language:CSS0 7 01
mde-network.github.io
Web page of the Spanish Excellence Network on Model-Driven Software Engineering (MDE)
0 0 00
oclworkshop.github.io
A public repository to host OCL Workshop web pages
Language:HTML0 1 00
robertclariso.github.io
Personal website of Robert Clarisó
Language:HTML0 1 00
EMFtoCSP
Bounded verification of UML/OCL (or EMF/OCL) models
Language:Java14 17 112
Impromptu
A domain-specific language for prompt engineering
Language:TypeScript17 4 02
OCLsharp
Toolkit for OCL#, a reformulation of the Object Constraint Language (OCL).
Language:Prolog1 2 00
uncertain-ocl
A DSL for expressing uncertainty in OCL integrity constraints
Language:Java1 5 00

robertclariso/mde-network.github.io
Web page of the Spanish Excellence Network on Model-Driven Software Engineering (MDE)
0 0 00
robertclariso/oclworkshop.github.io
A public repository to host OCL Workshop web pages
Language:HTML0 1 00
robertclariso/robertclariso.github.io
Personal website of Robert Clarisó
Language:HTML0 1 00