支持泛型程序设计的Apla-Java自动程序转换系统

本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统...

传统工匠现代转型研究 以江南早期工业化中工匠技术转型与角色转换为中心

本书以明清江南工业人力资源中的技术主体——传统工匠及其现代转型为研究对象，对江南地区传统工匠的技术转型、角色转换及相关问题进行区域历史地理学的动态考察与区域社会经济发展的实证研究。...

中学数学方法与单元、综合测试训练 初中数学 范例与试题分册

运动员机能评定常用生理生化指标测试方法及应用 国家体育总局体育科学技术成果专辑

国家体育总局资助出版项目(No.200202):本书介绍了心血管系统测试指标、免疫系统测试指标、内分泌系统测试指标、氧转运系统测试指标、神经系统及感觉机能测试指标等内容。 ...

软件测试自动化

软件自动化测试开发

电气测试原理与方法

本书论述了电气测量技术的基本理论，测量原理、方法及其在测试系统中的应用，力求反映近年来在该领域中的新器件、新技术和发展趋势。内容包括：测量误差和数据处理的基础知识；测试方法与测试系统；自动测试系统等。...

软件测试丛书 Selenium自动化测试指南

本书是使用Selenium实现Web自动化测试的指南。全书共分本书共分为9章。介绍了Selenium自动化测试相关的基础知识和辅助工具；Selenium IDE、Selenium1（Remote Control）以及Selenium2（WebDriver）的用法；在实际工作...

中华人民共和国国家标准 GB/T20281-2006 信息安全技术防火墙技术要求和测试评价方法=Information security technology-Technique requirem

自动化软件测试

本书讲解了自动化软件测试的相关知识。