BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × USA
Collaborated with:
J.Cabot R.Clarisó Alberto Mora Carina S. González Joan Arnedo-Moreno A.A.Juan D.Masip J.Jorba J.Faulin
Talks about:
uml (3) ocl (2) methodolog (1) constraint (1) literatur (1) framework (1) contract (1) program (1) problem (1) verifi (1)

Person: Daniel Riera

DBLP DBLP: Riera:Daniel

Contributed to:

ICEIS AIDSS 20092009
IFM 20092009
ASE 20072007
VS-Games 20152015

Wrote 4 papers:

ICEIS-AIDSS-2009-JuanRMJF #problem
A Simulation-based Methodology to Assist Decision-makers in Real Vehicle Routing Problems (AAJ, DR, DM, JJ, JF), pp. 212–217.
IFM-2009-CabotCR #contract #ocl #uml #verification
Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
VS-Games-2015-MoraRGA #design #framework #gamification #overview
A Literature Review of Gamification Design Frameworks (AM, DR, CSG, JAM), pp. 1–8.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.