[CATALÀ] Disseny i desenvolupament d'un prototipus que implementa un dels passos necessaris per a l'execució d'esquemes conceptuals: la comprovació automàtica i eficient de les restriccions d'integritat del model amb una ...