Tool for performing incremental integrity checking of SQL assertions in SQL Server databases. You can check it here
Implementation of a tool for reasoning the correctness of a UML/OCL conceptual schema with operations. The tool is, in fact, the implementation of the method proposed in the PhD Thesis of Anna Queralt. Such project was finalist in the FIB-Alumni Contest 2012
Implementation of a tool for reasoning the correctness of a UML/OCL class diagram with constraints. The tool is, in fact, the implementation of the method proposed in the PhD Thesis of Anna Queralt. Such project was developed in cooperation with Lluís-Miquel Munguia, continuing a previous work of Guillem Lubary and Guillem Rull.
Implementation of a web application for managing geolocalization games based on QR codes. Such project was developed in cooperation with Oriol Collell, Daniel Colomer and Kenan Rothon. It was finalist in the ICSE-Score contest 2011.
Design: HTML5Templates.com