软件测试 一个软件工艺师的方法 原书第4版

（美）保罗·C.乔根森著2017 年出版324 页ISBN：9787111581314

本书是经典的软件测试教材，也可作为软件测试者、开发者和工程师的参考书。书中对基础知识、方法提供了系统的综合阐述，既涉及基于模型的开发，又介绍了测试驱动的开发，做到了理论与实践的完美结合，反映了软件标准...

软件业的生存之道

（美）Michael A.Cusumano著；张云涛，龚玲，张燕译2005 年出版258 页ISBN：7121010895

近年来，软件行业在全世界的产值已达6000亿美元。这个行业是一个竞争非常剧烈的行业，但决定软件行业中公司成败的主要因素不是技术，而是商务。本书讨论了软件行业的七个基本问题，并把软件公司的商务模式归纳为三...

构筑互信 推进合作 中日韩安全合作国际研讨会论文集

虞少华主编2015 年出版429 页ISBN：9787010152370

本书为中日韩三国学者提交给中日韩安全合作国际研讨会的论文集。来自中日韩外交、防务等研究机构的40余位专家学者围绕东北亚安全形势、三国安全理念与政策、安全合作的困境与挑战、深化安全合作的思路与建...

软件测试的有效方法 第3版

（美）WILLIAME.PERRY著；高猛，冯飞，徐璐译2008 年出版643 页ISBN：7302166927

本书介绍软件测试的概念和有效方法。

软件开发的形式化工程方法

（日）刘少英著2008 年出版408 页ISBN：7302183171

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

软件开发的形式化工程方法：结构化+面向对象+形式化

[日]SHAOYING LIU著2008 年出版408 页ISBN：

本质安全开关变换器

刘树林，刘健著2008 年出版207 页ISBN：7030215346

本书首先简要阐述了本质安全电路相关理论的发展和现状及其本质安全性能的判别和试验方法；然后深入透彻地论述了本质安全开关变换器的组成和原理、本质安全开关变换器的稳态和极限参数分析方法、本质安全开关...

计算机软件质量保证的方法和实践

罗圣仪编著1999 年出版180 页ISBN：7030074254

软件开发生产率改进 软件管理的有效领导力与量化方法

（美）兰达尔 W.延森著；吴舜贤译2016 年出版248 页ISBN：7111524764

要实现卓越的软件开发生产率，管理者需要持续不断地关注开发项目中的人员、激励措施以及团队沟通。在本书中，世界知名的软件工程大师兰达尔 W.延森博士介绍了一种体现这些关注点、经过长期验证的定量化方法。...

软件工程-实践者的研究途径和方法

R·S·Pressman（美）1984 年出版208 页ISBN：