.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the search, retrieval, and modification of reusable software components. From a two-tiered hierarchy of reusable software components, the existing components that are analogous to the query specification are retrieved from the hierarchy. The specification for an analogous retrieved component is compared to the query specification to determine what changes need to be applied to the corresponding program component in order to make it satisfy the query specification.
Keyword:
software reuse
formal methods
analogical reasoning
program modification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
10.4
论文数:
6.8K
被引数:
3.2W
机构
暂无机构信息
引用论文
Virtual Reality Assisted Anaesthesia During Upper Gastrointestinal Endoscopy: Report of 115 Cases.png)
OAAI
OAAI.png){kind=icon}
分享.png){kind=icon}
收藏分享收藏Is autologous platelet activation the key step in ovarian therapy for fertility recovery and menopause reversal?.png)
BioMedicineOAAI
BioMedicineIF0
OAAI分享收藏
查看更多内容