Haskell is most likely quite different from any language youve ever used before. Compared to the usual set of concepts in a programmers mental toolbox， functional programming offers us a profoundly different way to think about software.In Haskell， we deemphasize code that modifies data. Instead， we focus on functions that take immutable values as input and produce new values as output. Given the same inputs， these functions always return the same results. This is a core idea behind functional programming.

本书在介绍相关内容时，通过实例阐述使晦涩的理论知识变得生动易懂。实例中的代码都是在Visual C++ 6.0开发环境中编写的，但调试理念和思想与软件开发环境无关，只是调试工具的操作细节不同。本书以软件开发过程的全局来介绍软件调试，涉及编码过程的规范、测试用例的编写、事后调试、缺陷管理等多个开发环节的内容，介绍了各种常用开发技术的调试方法，包括静态链接库调试、动态链接库调试、多线程调试、内存泄漏、内核对象泄漏等。本书主要面向软件程序编码人员、程序测试人员等软件领域的技术从业人员，同时软件开发管理人员也可从本书中了解到软件缺陷管理方面的内容。

职业资格证书制度的推行，对广大劳动者系统地学习相关职业的知识和技能，提高就业能力、工作能力和职业转换能力有着重要的作用和意义，也为企业合理用工以及劳动者自主择业提供了依据。随着我国科技进步、产业结构调整以及市场经济的不断发展，特别是加入世界贸易组织以后，各种新兴职业不断涌现，传统职业的知识和技术也愈来愈多地融进当代新知识、新技术、新工艺的内容。为适应新形势的发展，优化劳动力素质，上海市人力资源和社会保障局在提升职业标准、完善技能鉴定方面做了积极的探索和尝试，推出了1＋X培训鉴定模式。1＋X中的1代表国家职业标准，X是为适应上海市经济发展的需要，对职业标准进行的提升，包括了对职业的部分知识和技能要求进行的扩充和更新。上海市1＋X的培训鉴定模式，得到了国家人力资源和社会保障部的肯定。为配合上海市开展的1＋X培训与鉴定考核的需要，使广大职业培训鉴定领域专家以及参加职业培训鉴定的考生对考核内容和具体考核要求有一个全面的了解，人力资源和社会保障部教材办公室、中国就业培训技术指导中心上海分中心、上海市职业培训研究发展中心联合组织有关方面的专家、技术人员共同编写了《1+X职业技能鉴定考核指导手册》。该手册由“理论知识复习题”“操作技能复习题”和“理论知识模拟试卷及操作技能模拟试卷”三大块内容组成，书中介绍了题库的命题依据、试卷结构和题型题量，同时从上海市1+X鉴定题库中抽取部分理论知识题、操作技能试题和模拟样卷供考生参考和练习，便于考生能够有针对性地进行考前复习准备。今后我们会随着国家职业标准以及鉴定题库的提升，逐步对手册内容进行补充和完善。本系列手册在编写过程中，得到了有关专家和技术人员的大力支持，在此一并表示感谢。由于时间仓促，缺乏经验，如有不足之处，恳请各使用单位和个人提出宝贵意见和建议。

《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、入-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式（函数式）、命令式和并发式（并行式）规约程序设计的基本原则。最后，本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块（包括UML的类图）、Petri网、活动序列图、状态图和时态逻辑（包括时段演算）。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原理和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。

《嵌入式系统软件设计中的常用算法》根据嵌入式系统软件设计需要的常用算法知识编写而成。基本内容有：线性方程组求解、代数插值和曲线拟合、数值积分、能谱处理、数字滤波、数理统计、自动控制、数据排序、数据压缩和检错纠错等常用算法。从嵌入式系统的实际应用出发，用通俗易懂的语言代替枯燥难懂的数学推导，使读者能在比较轻松的条件下学到最基本的常用算法，并为继续学习其他算法打下基础。《嵌入式系统软件设计中的常用算法》可作为电子技术人员自学常用算法的教材，也可作为高等院校电子技术类专业本科生、研究生的教学参考书。

本书是一本传承软件测试经验和人生经验的书。作者采访了11位软件测试领域的专家，他们是微软、IBM、谷歌、东软和金山等知名公司的高级测试管理人员，是软件测试类书籍的知名作者。他们都是中国软件测试行业的先行者和成功者。本书详细记录了他们的奋斗历程，对软件测试的理解，推荐的测试技术和测试管理方法，对前景的看法，面试过程中对人才的要求，等等。他们的经验和见解是宝贵的，对于每一位软件测试从业人员或者将要进入这个行业的朋友都有着非常积极的借鉴意义。读一本书，聆听多位成功者的经验之谈，明确发展方向，少走一些人生的弯路。本书适合于软件测试工程师，软件测试管理人员和对软件测试感兴趣的在校学生阅读，以及有意转向软件测试领域发展的在职的朋友阅读。

“不惟说好，不怕说坏”。自著述、出版《大道至简——软件工程实践者的思想》五年来，软件工程界可有新思？作者周爱民先生又对软件工程有了何种理解？在五年后，作者邀请不同背景的六位工程理论与实践领域的专家，从不同角度对《大道至简》进行点评；并新著 “具体工程”一章，矛头直指《人月神话》，进一步归纳了作者五年来在软件工程方向上的探索与反思。一本《大道至简》讲不完整个软件工程。那么，它到底讲了些什么？有什么疑问？未来该往何处去探索？作者五年来思考的这些问题，在“点评版”里一一陈述。

本书简单明了地介绍了软件开发中的最佳实践，展示了工程流程在编写优质代码上的重要性以及测试的重要性，总结了很多资深工程师的经验教训，并提供了很多真实案例。书中介绍的经验可以应用到产品开发周期的每个环节，从设计到开发以及最后的发布和维护。本书的中心思想就是要在设计和实现的过程中改进代码质量，包括类建模、性能、安全性、内存使用以及调试，帮助读者构建完美的项目。本书适合专业及业余程序员阅读。采用一流的工程实践来帮助你编写更健壮、无错的代码。两位微软的.NET开发专家与你分享优化软件开发生命周期的真实案例和经过实战考验的解决方案——从避免代价昂贵的编程陷阱，到提高开发团队整体效率的方法等。无论你是来自哪个层次的托管代码程序员，都能在这里找到设计、原型开发、实现、调试以及测试的技巧，进一步提升代码的品质。本书涉及开发流程中每一个阶段的优化（从设计到测试），以及如何开发出更优质的应用程序软件：通过元编程来降低代码的复杂度，同时还能增加灵活性和可维护性。把性能当做一项功能，并且在开发周期中对它进行管理。为应用程序的伸缩性采取各种最佳实践。通过预防性的安全措施来抵御各种恶意攻击。在运行之前通过防御性编程来捕捉错误。在每日工程流程里植入自动化构建、代码分析和测试等工作。实现更好的源码控制管理和提交流程。建立一套质量驱动、基于里程碑的项目节奏，并最终产生更好的结果。

《计算机实用工具软件（第4版）》是在《计算机实用工具软件第3版》的基础上，结合当前工具软件的发展趋势，详细介绍了目前最流行、最具代表性的工具软件的使用方法和技巧。全书共分12章，包括工具软件概述、系统安全防护工具、文件管理工具软件、图像应用处理工具、光盘管理工具、电子图书阅读与制作工具、网络常用工具、媒体播放与网络视听工具、音频视频编辑制作工具、系统优化与辅助工具、磁盘管理工具和硬件检测工具。《计算机实用工具软件（第4版）》在形式上以知识拓展为切入点，软件均采用目前最新的版本，种类齐全，内容丰富。书中还详细介绍了各种工具软件的安装方法。《计算机实用工具软件（第4版）》可作为高职高专计算机专业和计算机技能培训班的教材，也可供广大计算机爱好者参考。

《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines BjOrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而日在工业和计算机产、世界也具有极大的实用价值。