复杂数据类型相关论文
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......
随着软件工程的发展,基于组件的开发已经成为目前软件开发的主流模式。组件的可靠性和安全性直接影响整个系统的稳定性。组件的封......
作为保证软件质量的重要技术手段,软件测试是软件开发过程中不可缺少的环节。作为软件测试的核心,测试用例自动生成对于提高测试效......
大规模数据库服务系统可以通过集成Web服务器的服务功能和数据库系统的数据管理功能来实现，集成的关键部分是数据库网关。本文首先......
在自动控制系统的算法实现中，查表是一种非常有用的操作，PLC实现模糊控制、专家系统等先进控制方法都需要查表。但目前大多数PLC都没......
随着信息技术与计算机技术的快速发展,现代软件系统处理的数据量越来越大,数据也愈来愈复杂。有关数据显示,复杂数据处理相关的漏......
