AbstractThe paper considers the specification of the structure and the behavior of software libraries. It describes the existing pr'/> Formalism and Language Tools for Specification of the Semantics of Software Libraries
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Automatic Control and Computer Sciences >Formalism and Language Tools for Specification of the Semantics of Software Libraries
【24h】

Formalism and Language Tools for Specification of the Semantics of Software Libraries

机译：用于规范软件图书馆语义的形式主义和语言工具

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

AbstractThe paper considers the specification of the structure and the behavior of software libraries. It describes the existing problems of library specifications. A brief overview of the research field concerned with formalizing the specification of libraries and library functions is presented. The requirements imposed on the formalism designed are established; the formalism based on these requirements allows specification of all the properties of the libraries needed for automation of several classes of problems: defect detection in software, migration of applications into a new environment, and generation of software documentation. Requirements for language tools based on the developed formalism are proposed. The conclusion defines potential directions for further research.]]>
机译：<！[cdata [ <标题>抽象 ara>本文考虑了结构的规范和软件库的行为。 它描述了图书馆规范的现有问题。 介绍了关于编制图书馆和图书馆函数规范的研究领域的简要概述。 建立了旨在规定的形式主义的要求; 基于这些要求的形式主义允许规范自动化几类问题所需的库所需的所有属性：软件中的缺陷检测，应用程序迁移到新环境中，以及软件文档的产生。 提出了基于开发的形式主义的语言工具的要求。 结论定义了进一步研究的潜在方向。 ]]>

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号