Validation of UML conceptual schemas with OCL constraints and operations 

Queralt, Anna (Date of defense: 2009-03-02)

Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...