形式化定义相关论文
REST接口技术在互联网Web应用和网络管理领域中已经逐渐成为主流接口实现技术,并且国际标准化组织也在制定基于REST技术的相关标准......
统一建模语言(UML)是对象管理集团(OMG)的标准，是一种用于对软件密集型系统以及商业建模和非软件系统进行可视化、详述、构造和文档......
软件再工程作为能够增进对现有软件的理解，改进软件自身质量以提高其可维护性、可复用性和可演化性的一类活动，在软件工业中占据了越......
软件工程中，软件维护是改进与增强已发布软件的过程。软件维护阶段修改软件以改正缺陷与不足，并添加新的功能来增强软件的可用性与适......
中文领域术语自动抽取是中文信息处理中的一项基础性课题,在很多领域都有很重要的作用。如自然语言生成、计算词典编撰学、句法分......
石油钻井物料消耗投资大、管理控制难,本文提出应用企业资源计划系统中物料清单方法,建立适用于石油钻井物料管理与控制的石油钻井......
文章总结归纳了群体协作的研究现状及所面临的信任问题,分析了现有动态信任模型存在的不足,通过引入数据溯源理念,构建了群体协作......
<正>选题确定方向,要综合考虑,量力而行;设计展现教学理念和教学思想方法;教学考验实施和课堂驾驭能力;自述是对教学的深入反思和......
进入90年代，Agent的研究蓬勃兴起。它涉及到分布式人工智能、软件工程、并行与分布式计算、网络与Intranet、虚拟现实等多个领域。......
时空数据具有多维关联特性,而深度学习恰恰因其能够对复杂高维数据进行高层抽象处理而备受关注.本文依据轨迹数据特征给出其形式化......
本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有......
