Facilitating software maintenance by automated detection of constraint violations

CCEL, a language that allows programmers to formally express constraints on their software systems and to automatically detect violations of these constraints, is introduced. The power, flexibility, and overall utility of CCEL are demonstrated by examples showing how it can express real constraints from real software developers for real systems.<
>