Title :
Facilitating software maintenance by automated detection of constraint violations
Author :
Chowdhury, Anir ; Meyers, Scott
Author_Institution :
Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
Abstract :
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
Keywords :
formal specification; object-oriented programming; software maintenance; specification languages; C++ language; CCEL; constraint violation; constraint violations; object oriented programming; software development; software maintenance; specification language; Books; Computer languages; Computer science; Libraries; Personnel; Programming profession; Software maintenance; Software systems; Software tools; Time factors;
Conference_Titel :
Software Maintenance ,1993. CSM-93, Proceedings., Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-4600-4
DOI :
10.1109/ICSM.1993.366936
