{"title":"Facilitating software maintenance by automated detection of constraint violations","authors":"Anir Chowdhury, S. Meyers","doi":"10.1109/ICSM.1993.366936","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":228379,"journal":{"name":"1993 Conference on Software Maintenance","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"19","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"1993 Conference on Software Maintenance","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSM.1993.366936","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 19
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.<>