{"title":"通过自动检测约束违反来促进软件维护","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":"{\"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}","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}
Facilitating software maintenance by automated detection of constraint violations
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
