Facilitating software maintenance by automated detection of constraint violations
| Author(s) : | Scott Meyers Scott Meyers Anir Chowdhury Anir Chowdhury, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| 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. 1, |