本书从使用的角度出发，以工程示例的方式对“FOrceCOntrOIV7.0”的功能、使用方法及组态过程进行了详细地介绍。具体内容包括软件的安装、工程管理、系统开发及运行、I/O设备管理、数据库的管理、动画与脚本的设计、图表制作、应用案例等。本书淡化理论，重在功能实现，通过具体工程对象的创建，并辅以大量图形来进行讲解，有较强的实用性和可操作性。本书所有示例都经过机上验证通过。本书可供自控系统设计及相关专业工程技术人员阅读，也可作为高等学校计算机应用、自动控制、电子技术、机电一体化等专业师生的参考用书。

项目管理是现代管理学的重要组成部分，它是提高工作效率进而使项目获得成功的一套有效的方法。《软件项目管理》论述了软件项目及项目管理的基本概念，涉及从项目的启动、计划、执行到收尾阶段的整个项目生命期的要点。从项目管理的角度，对软件项目开发过程管理和软件项目后期管理的各个环节逐一进行分析。《软件项目管理》全书内容包括软件项目管理的概念、软件项目的需求管理、生命周期、可行性研究、人力资源管理、沟通管理、冲突管理、合同管理、时间管理、成本管理、风险管理、质量管理、配置管理、收尾管理等内容，同时在各个章节都附有具体案例，这些启发性的案例本身就是对软件开发项目管理的注解。在每章后面还配有思考与练习题，供读者复习巩固之用。理论与实践相结合、实用性可读性相结合是本书的特点。《软件项目管理》可

《Haskell函数式编程基础（第3版）》是一本非常的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易读易学。全书循序渐进，从基本的函数式程序设计直至高级专题，让读者对Haskell的学习不断深入。 《Haskell函数式编程基础（第3版）》可作为计算机科学和其他相关学科的高年级本科生、研究生的教材，也可供对函数式程序设计感兴趣的程序员、软件工程师等参考学习。

本书兼顾理论与实践。全书首先对调试技术及嵌入式调试手段进行一个概览，然后重点对linux环境下的嵌入式调试技术进行详细的讲解，最后给出两个综合应用实例：MPEG-4视频播放器的设计和基于GPS的移动定位终端。在编写思路上，本书以理论为先、实践为重；具体到调试技巧和手段上，则全部结合具体实例展开。书中各个实例之间采取从前至后逐步深入的方式，既衔接有序，又便于读者学习。

本书从一个软件产品线工程框架出发，阐述了与特定领域软件产品开发有关的领域工程和应用工程过程，介绍了过程中产生的各种工件、产品线可变性及其管理，以及两个工程过程之间通过不变与可变性所建立的联系。书中还包括与软件产品线有关的组织、管理及如何向软件产品线转变等内容。书中强调了软件产品线工程的基本原理、实践特点以及与单一系统开发的区别。尤其难得的是，为方便读者理解，书中在各章中使用了同一个产品来讲述具体的实例。 本书的作者为业内专家。全书结构严谨、条理清晰、图文并茂，是介绍软件产品线的著作。本书的读者为软件开发人员、测试人员、软件产品线研究者与大专院校师生。

本书从网络基本知识入手，全面阐述了如何开发纯文字MUD游戏。并通过构建SimpleMUD和BetterMUD这两个MUD，重点讲述了如何实现MUD。 本书分为4大部分。部分介绍了计算机网络的基本知识、Winsock/Berkeley Sockets API以及多线程的概念；展示了本书所用的基本库BasicLib中的所有类和函数；创建了一个套接字库SocketLib；介绍了MUD中最常用的Tel协议，并创建了一个简单的基于Tel的聊天服务器SimpleChat。第2部分详细介绍了如何创建SimpleMUD。这是一个非常简单的MUD，但通过它说明了MUD编程的每一个概念，直到解决开发这种游戏时所遇到的每一个问题。在SimpleMUD中，游戏的物理层和逻辑层采用C++代码来编写。第3部分描述了如何创建BetterMUD，它是一个非常灵活的MUD，比SimpleMUD要复杂得多。当代MUD游戏的主要特性全都包含在BetterMUD中。在BetterMUD中，使用Python脚本语言构建灵活的逻辑层。

本书介绍了架构的设计过程及设计方法：属性驱动设计（ADD）。书中通过介绍ADD的概念和应用实例，展示了如何执行架构设计，如何重新设计概念，可帮助读者从“入门到精通”掌握软件架构设计。章介绍了软件架构设计和ADD方法的发展史，第2章讨论软件架构设计的细节，第3章详细介绍ADD方法，第4~6章是几个案例研究，第7章展示了其他一些设计方法，第8章深入讨论了设计过程中的分析，第9章讲解了实时过程如何适应组织级别的应用，0章总结了全书的内容。

本书对SAP ABAP开发所需的常用技术（SAP报表、批量导入、对话程序、函数）做了详尽的介绍，包括基本报表、交互式报表、复杂报表、ALV（SAP List Viewer）报表、Form（SAP Script）报表、SmartForm报表、AdobeForm报表、CALL-TRANSACTION方式批量导入、批处理SESSION方式批量导入、一般Dynpro程序、复杂Dynpro程序、从属画面、表控制控件、函数的使用，并通过大量实例详细介绍了ABAP开发所需技术的使用方法。第2版新增了ABAP数据字典相关的内容，使得本书内容更全面、系统。本书作者从事SAP开发及教学工作近10年，积累了丰富的经验。全书操作讲解精练，采用大量的实例，对重要技术点附有附录，除了可作为投身SAP职业人士的自修秘籍，还可作为从业者用于查阅SAP ABAP开发技术的字典。

《Ada软件开发技术》系统阐述外（包括作者所在群体）在Ada软件开发方法、技术、工具和环境方面的成果，重点在Ada语言对软件工程的支持、大型软件的构造、面向对象软件构造、图式软件开发方法和作者近期提出的A型对象。作者的有些成果属首次发表。Ada语言是为开发高可靠和长寿命软件系统而设计的。 《Ada软件开发技术》可供从事高可靠和长寿命软件系统的设计开发、软件工程技术、计算机程序语言的专业人员、高等院校的教师参考，也可作为博士、硕士研究生的参考书。

《构件化软件动态更新与验证技术》对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算），以期为动态更新安全性、一致性等的保证提供形式化推演机理；最后构建动态更新服务框架和支持平台，试图对所提议的关键技术问题及其解决方案加以技术实现，通过原型案例和实验分析来推导和验证构件化软件动态更新所采用的技术和方法。

随着我国计算机科学技术的迅速发展和计算机应用领域的不断扩大，软件的开发工作越来越重要，而由于软件复杂程度的不断增加，对软件的系统化、规范化和交流能力的要求也越来越严格。因此，软件开发、管理、维护工作的科学性、完整性以及有关文件的规范化、通用化就显得更为重要。为推动计算机软件工程技术的发展，使软件工程标准得到进一步贯彻，我们编辑了《计算机软件工程国家标准汇编》。 本汇编上一版于2007年出版，受到了广大读者的欢迎。此次在上一版的基础上，根据标准的制、修订情况进行了分类选编，共分为以下三卷： ——基础与管理卷； ——软件开发与维护卷； ——软件度量与评价卷。 本卷为软件开发与维护卷，收入截至2011年5月发布的现行有效的软件开发与维护方面的国家标准15项，方便读者使用。 本汇编的出版可更好地贯彻软

郝纳根编著的这本《功能共振分析方法——复杂社会技术系统建模》所介绍的功能共振分析方法及其应用，突破了传统的如故障树等的安全性分析方法的局限性，着眼于大型系统在技术和管理方面的复杂性及其对于安全事故的影响；刻画功能耦合共振原理，并应用该原理解释系统为什么有时发生错误甚至事故；介绍功能共振分析方法如何用于模拟复杂和动态的社会技术系统的工作模式和过程。本书提出的功能共振分析方法思想新颖，理论超前，是近年中系统安全研究领域内一支生力军。根据2012年非常不错统计，在对449篇基于系统理论的事故模型相关的非重复学术文献及其476篇引用文献的整理情况来看，功能共振分析方法的影响力（被引用次数）排名第二位，在基于系统理论的事故模型中所占比重高达20％。 本书详细具体地介绍了功能共振原理、分析方法及应用步骤