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: Riera:Daniel
Contributed to:
2009
2009
2007
2015Wrote 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.