Tech Report CS-93-37

Facilitating Software Maintenance by Automated Detection of Constraint Violations

Anir Chowdhury and Scott Meyers

September 1993

Abstract:

In this paper, we describe CCEL, a language that allows programmers to formally express constraints on their software systems and to automatically detect violations of these constraints. We demonstrate the power, the flexibility, and the overall utility of CCEL by showing how it can express real constraints from real software developers for real systems.

(complete text in pdf or gzipped postscript)