对软件维护的正式支持

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI:10.1109/CMPSAC.1993.404247

D. Cooke, Luqi

{"title":"对软件维护的正式支持","authors":"D. Cooke, Luqi","doi":"10.1109/CMPSAC.1993.404247","DOIUrl":null,"url":null,"abstract":"In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"62 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal support for software maintenance\",\"authors\":\"D. Cooke, Luqi\",\"doi\":\"10.1109/CMPSAC.1993.404247\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<<ETX>>\",\"PeriodicalId\":375808,\"journal\":{\"name\":\"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93\",\"volume\":\"62 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1993.404247\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1993.404247","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在本文中，我们将CAPS模型的一个变体与基于逻辑编程[GEL]的稳定模型语义的扩展版本Prolog结合起来。我们相信这是第一篇提出这种组合的论文。为了将CAPS模型与扩展的Prolog结合起来，我们首先在Prolog中实现PSDL语言的一个子集。我们通过雷曼(1990)最初提出的一个问题的示例原型来展示这种组合的意义。由此产生的模型为开发能够确定何时需要自适应维护的原型提供了一般框架。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal support for software maintenance

In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93

自引率

0.00%

发文量