逻辑描述相关论文
随着数据仓库的广泛建立,数据仓库系统的核心—用于数据仓库数据加载和刷新维护的ETL工具越来越重要.市场上存在大量的ETL工具,这......
软件测试是保证软件产品可靠性和正确性的有效方法，其中设计和生成有效的测试用例是决定测试质量的重要因素之一，而测试用例自动生成......
软件产品线工程通过管理软件产品的可变性和共性特征,提高软件开发效率,节约开发成本。模型检测是一种自动形式化验证技术。随着软......
关注装备的可持续制造能力有利于在提高生产效率的同时,解决以经济效益为驱动的制造模式带来的严重环境问题。工业机器人作为一种......
