Doctor by the Universitat Politècnica de Catalunya (UPC) with the thesis Incremental integrity checking in uml/ocl conceptual schemas 2006. Supervised by Dr. Ernest Teniente López.