Compliance checking in object-oriented systems
This project was performed with the industrial partnerĀ Getronics Belgium [1]. 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.