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)