本书详细介绍了利用VC++开发组态软件的原理与方法，全书共分7章。第1章组态系统概述，介绍了工业监控软件发展的历程、特点以及发展趋势。第2章开发工具简介，介绍了开发组态软件需要的开发环境以及开发工具。第3章组态软件总体结构设计，介绍了如何对组态软件进行面向对象设计。第4章图形组态模块的实现，介绍了组态软件中图形组态模块的设计方法。第5章实时数据库模块的设计与实现，介绍了实时数据库的设计思路。第 6章历史数据库组态，介绍了组态软件中历史数据的存储方法。第7章设备通讯驱动模块，主要介绍了组态软件中设备驱动与通讯的设计方法，以及设备驱动的主要功能、组态方案、DDE技术的概述及实现、串行通讯接口的实现、TCP/IP通讯协议的实现。本书可供从事工业控制与实时数据库工作的技术人员、科研人员，以及高等院校相关专业师生参考使用。

本书主要以Eclipse的使用为核心，全面系统地介绍了Eclipse的一些基本操作，以及如何在Eclipse中添加各种插件，并利用这些插件开发JSP程序。全书分为3篇，共19章。第1篇为基础篇，主要介绍环境的搭建和Eclipse中的一些基本操作，包括环境搭建、Eclipse中的工作台、JDT和Eclipse中的调试。第2篇为高级应用篇，主要介绍如何在Eclipse中应用各种常用技术，以及应用各种技术所需插件的安装和使用，主要包括Struts、Hibernate、Spring的应用以及SWT/JFace的开发等。第3篇为项目实践篇，该篇精选了5个当前应用较为广泛的网络应用程序，详细介绍了如何利用Eclipse开发工具开发各种类型的网络应用程序，包括运用JavaBean开发的网上投票系统、运用Servlet开发的留言板、运用Hibernate开发的在线论坛、运用Struts开发的文件上传和下载软件，以及利用Spring＋Hibernate＋JSTL＋Tiles开发的电子商城。　本书附有配套光盘。光盘提供了书中所有实例和案例程序的源代码，所有源代码都经过精心调试，在Windows 2003下测试通过，保证能够正常运行。　本书内容精练、重点突出、实例丰富并且配有实例录像，是程序开发人员必备的参考书，同时也非常适合大中专院校师生学习阅读。

本书以使用Struts框架开发网络应用程序涉及的实用技术为中心，全面、系统地介绍了使用Struts框架进行应用程序开发必须掌握的技术、方法和过程。本书共22章，分4篇，主要包括Struts基础应用、Struts标签库应用、典型实例和典型案例。　本书附有配套光盘。光盘提供了书中所有实例、范例和案例程序的源代码，所有源代码都经过精心调试，在Windows 2003下测试通过，能够保证正常运行。　本书内容精练、重点突出、实例丰富，是各级程序开发人员必备的书籍，也非常适合作为大中专院校师生学习的参考书。

本书精选了《代码大全（第2版）》中的精华内容，包括各章“要点（Key Points）”以及“核对表（CHECKLIST）”的全部内容，便于读者在工作学习中随时查阅，极具参考价值。另外，本书还附有《深入解析Windows操作系统，第4版——Microsoft Windows Server 2003/Windows XP/Windows 2000技术内幕》第14章的内容，供广大读者试读。本书适合计算机相关专业学生和教师、软件开发人员、IT专业人员以及计算专业知识爱好者阅读和参考。

《软件测试技术与管理》是计算机类和信息类专业本科生和硕士研究生的专业课程教材。从实际应用的角度，综合介绍目前最新的和最通用的软件测试技术，同时强调测试管理的重要性。主要内容包括软件测试基本概念、单元测试、集成测试、系统测试、软件自动化测试、软件测试管理以及软件测试技术的新进展。附录为教学设计，针对不同层次教学（本科生和硕士研究生）内容及方法作了说明。 为了方便教学，《软件测试技术与管理》附带的光盘中提供了一套系统软件作为课堂案例使用，另外还包含书中所涉及的相关测试例子以及该系统软件的使用说明书、教学讲义（PPT）、实验指导书及实验所需程序等。另外，《软件测试技术与管理》编者还提供8套考试试卷，请需要试卷的教师凭所在院系教务办介绍信索取。 《软件测试技术与管理》也可供相关专业的学生、教师、科研人员以及企业软件开发人员参考。

本书在内容上力求通俗易懂，介绍的每一款软件除了具有按照实际使用的步骤给出的详细说明外，还有大量的图例与之配合，尽可能使读者在图文并茂中学会使用该软件。在使用计算机时，管理磁盘、维护系统、防治病毒、防范黑客、传输网络数据等都是非常重要的技能，因此我们对这些章节有所侧重，力求重点突出。此外，本书主要是让读者学会怎样动手使用软件，因此很少介绍理论方面的知识。在软件的筛选上尽量使用最具实用价值、操作相对简单的最新版本的软件，以满足实际工作的需要。本书共分7章，每章又自成体系，读者可以通过每章的引言，根据自己的需要挑选章节阅读。为了保证本书内容结构设计的严谨，要读者了解的其他知识，不在书的正文中介绍，而是放到书中设置的“相关知识”栏下。 本书是面向高职高专院校学生和计算机初学者的计算机常用工具软件教材，也可作为计算机专业人员的工具书和参考书。

本书是计算机专业毕业设计指导教材，采用面向对象和软件工程的方法，讲解了一个贯穿整个软件分析、设计过程的Web案例——“学生成绩管理系统”，使用业界流行的系统分析设计工具PowerDesigner进行UML建模、生成概念数据模型和物理数据模型，用JSP脚本语言进行网站的开发，依托SQLServer数据库管理系统进行了数据库的开发。本书给出了毕业设计论文书写规范，按照本书的案例开发流程，略加修改，学生可以顺利完成毕业设计项目的开发和论文写作。本书可作为高校计算机专业毕业设计教材，也可供从事网站开发的工程技术人员参考。

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

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

《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块（包括UML的类图）、Petri网、活动序列图、状态图和时态逻辑（包括时段演算）。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。