This project was performed with the industrial partner Getronics Belgium. Its goal was to study the change propagation problems that occur in software reuse and iterative development, and to investigate the technique of compliance checking as a potential solution to these problems. We investigated mechanisms for compliance checking which verify the consistency between modified or newly added software artifacts with existing artifacts in the system.