软件质量保证与软件测试技术

本书主要内容由3部分组成：第一部分主要包括软件危机、软件工程、软件生命周期、软件开发过程、软件可靠性测试、软件质量等软件工程方面基本概念，还包括蒙特卡罗方法（Monte Carlo）和马尔可夫链（Markov Chain）等数...

软件建模技术

软件是脑力劳动的产品，但不同于追求个性化的艺术作品；软件是产品，但它又不同于工业化生产得到的有形产品。如何更经济、高效地，开发出高质量、可维护、可重用的软件，已成为软件业广受关注的问题。本书是“软件建...

面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

软件构件技术

本书较全面地介绍了软件构件技术的产生、发展、构件化思想、基于构件的软件过程及其他相关技术。书中还结合作者的相关研究成果，给出了软件构件视图的相关概念，较详细地介绍了基于软件构件视图技术的构件组装...

软件测试原理、技术及工具

本书介绍了一种将测试管理、技术和过程需求活动相集成的方法，介绍测试工具、特定测试、确认与验证以及软件质量保障。

图说草菇栽部关键技术

本书以图文并茂的形式介绍了草菇生物学特性、草菇菌种生产工艺、草菇的栽培、草菇病虫害防治方法、草菇采收、保鲜与加工等内容。

软件质量保证与测试技术

软件质量保证部分包括质量、质量保证与质量保证体系基本概念、形成和运用。测试技术包括测试概念、黑盒测试与白盒测试、单元测试与集成测试设计与运用。...

软件测试技术详解及应用

本书分为4篇，共24章，分别从软件测试的基本概念开始，逐步介绍了一个完整的测试过程所经历的各个阶段，涵盖了当前软件测试领域的各项实用技术，本书既有理论方法，又有上机实践的内容。...

满族说部传承研究

嵌入式系统软件开发技术实验教程

本书内容包括实验相关硬件基础知识，基于ARM嵌入式处理器ADS开发环境的常用基础实验。