领域模型使开发人员可以表达丰富的软件功能需求，由此实现的软件可以满足用户真正的需要，因此被公认为是软件设计的关键所在，其重要性显而易见。但讲述如何将领域模型用于软件开发过程的优秀实用资料却不多见。本书正是这一领域最著名的作品，受到众多业界大师的赞美和推介，广受读者好评。 要通过创建领域模型来加速复......
《程序开发心理学(银年纪念版·中英对照)》： 堪称软件领域开山之作的《程序开发心理学(银年纪念版·中英对照)》由美国计算机名人堂首批成员之一、美国软件界著名思想家，weinberg最初于1969年完成的，40年过去了，《程序开发心理学(银年纪念版·中英对照)》受欢迎的程度却丝毫未减，这在计算机程序......
迭代开发是一种较新的方法，它从20世纪80年代开始起步。到了20世纪90年代，采用该方法的公司发现它比旧方法能够更好地交付价值。事后看来，迭代开发的发展历程似乎一帆风顺，但实际上，迭代方法与其他技术进步一样，经历了一条坎坷不平的发展之路，其中一些方法如昙花般短暂地盛开后迅速凋谢了，有很多方法经试用后......
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家dines bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程......
本书以软件开发过程的全局来介绍软件调试，涉及编码过程的规范、测试用例的编写、事后调试、缺陷管理等多个开发环节的内容。...
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家dines bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程......
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程......
本书是一本传承软件测试经验和人生经验的书。作者采访了11位软件测试领域的专家，他们是微软、ibm、谷歌、东软和金山等知名公司的高级测试管理人员，是软件测试类书籍的知名作者。他们都是中国软件测试行业的先行者和成功者。本书详细记录了他们的奋斗历程，对软件测试的理解，推荐的测试技术和测试管理方法，对前景的......
本书根据嵌入式系统软件设计需要的常用算法知识编写而成。基本内容有：线性方程组求解、代数插值和曲线拟合、数值积分、能谱处理、数字滤波、数理统计、自动控制、数据排序、数据压缩和检错纠错等常用算法。从嵌入式系统的实际应用出发，用通俗易懂的语言代替枯燥难懂的数学推导，使读者能在比较轻松的条件下学到最基本的常......
本书重点阐述软件开发的基本过程和实际工作中可能碰到的问题，以商业化的图书馆管理系统作为贯穿全书的案例，按照软件企业从签订合同到实施的工作过程，系统地介绍了软件合同签订-项目组织-需求-设计-编码-测试-实施的完整过程。 本书以生动的漫画、角色表现、照片等多种形式，形象地阐述软件开发过程中的抽象问题。......
本书是从事软件行业五十余年的gernald m. weinberg针对软件测试所写的新作。他在软件项目的管理、设计、开发和测试方面都具有极其丰富的经验，对于与软件开发有关人员的心理尤其有深入的研究。在本书中，他重点讨论了与软件测试有关的各种心理问题及其表现与应对方法。作者首先阐述软件测试之所以如此困......
软件测试是软件工程的一个重要分支，它对测试人员的专业知识要求极全、专业技术要求极强、专业能力要求极高，而目前企业对测试人员的要求是要有较丰富的测试经验及较强的测试工具应用能力。本书作为《软件测试大学教程》配套的实验教材，通过覆盖软件评测的各个环节和知识点，以主流的开源软件测试工具应用为基础，以实战能......
