《Z形式规约的自动求精研究》叙述简明清晰，逻辑性强，可作为高等学校相关专业研究生和从事形式语言研究、大型软件形式化开发与应用的专业人员参考。 Z形式规约是一种世界上广泛使用的软件规格说明语言，在软件开发的需求规格说明阶段和软件设计阶段都可以使用，对于提高大型软件质量、验证软件设计正确性等方面具有非常重要的意义。由于Z是以集合论和一阶逻辑为基础，是设计用来给人看的而不能由机器执行。将Z转换成高级语言需要专业的数学知识，而且对于大型软件，转换过程极易出错。Z的机器可执行性已经引起世界范围的关注，但目前还不能直接从Z语言自动生成应用程序，Z到可执行代码的转换主要由人工完成。《Z形式规约的自动求精研究》指出了Z语言求精方法对于自动生成应用程序的不足，提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。

《Google Web Toolkit：GWT Java AJAX编程》是一本使用Java创建AJAX应用的GWT实用指南，从下载和安装GWT开始，手把手教读者如何创建、测试、调试和部署GWT应用。《Google Web Toolkit：GWT Java AJAX编程》采用了许多生动有趣的示例，引导读者逐步深入到AJAX和GWT的精彩世界中。书中提供的所有例程源代码均可在我社网址http：//www.ptpress.com.cn的“资源下载”区免费下载并直接运行。通过阅读《Google Web Toolkit：GWT Java AJAX编程》，熟悉Java语言的读者可以在非常短的时间内掌握GWT提供的丰富功能，迅速成为熟练的AJAX应用开发人员。《Google Web Toolkit：GWT Java AJAX编程》适合对AJAX和Web 2.0感兴趣的Java程序员阅读使用。

本书主要介绍了VHDL数字电路设计的主要内容和方法，包括VHDL的数据和表达式、VHDL的顺序描述语句、VHDL的并行描述语句、 VHDL的时钟信号描述方法、VHDL的有限状态机的设计、VHDL数字电路设计实例。全书43个设计实例由浅入深，并配有图示和注释。 本书旨在提高读者VHDL编程能力，力求简单、易懂，使读者容易接受。本书适用于电类专业本科、大专、中专学生及工程技术人员使用。

PowerShell是一种新的命令行外壳和脚本语言，用于进行系统管理和自动化。本书的作者由微软专家团队组成，从程序员的角度对Windows PowerShell编程技术进行介绍，不仪讲解了PowerShell的核心模块和基本概念，还提供了大量利用PowerShell强大功能构建软件包的实用开发技巧，是学习PowerShell编程的最佳参考。在学习过程中，您不仅会发现PowerShell的SDK为应用程序提供了完整的技术支持，还将体验PowerShell的伞新技术，它使所有．NET Framework对象都可以通过脚本访问，这也使得PowerShell有望成为最受欢迎的工具和对Windows管理员来说最重要的语言。一旦升始编写命令行类的上具程序，您就会惊奇地发现PowerShell可以使您将注意力集中在核心业务逻辑上。相信这款由微软精心打造的软件会为您的编程生活带来额外的惊喜和收获。本书主要内容•创建PowerShell的Snap—in•开发自定义的Cmdlet•创建自定义的提供者•调用PowerShell执行引擎•实现宿主用户接口•类型扩展及格式化本书读者对象本书面向希望拓展Windows PowerShell功能，或者使用PowerShell技术来扩展自己的应用程序的开发人员和程序员。

在本书中，作者将自己多年形成的编程习惯以及阅读既有代码的体验凝练成了编程中的价值观、原则和77种实现模式。沟通、简单和灵活的价值观应当被所有开发人员所铭记。局部影响、最小化重复、将逻辑与数据捆绑等原则同样是通用性的指导思想，比价值观更贴近编程场景，在价值观和模式之间搭建了桥梁。在77种实现模式中，每一种模式都覆盖了编写简洁、清晰、易扩展、易维护的代码这一原则的某个方面。它们为日常的编程提供了丰富翔实的参考依据，并告诉大家这些代码如何为降低沟通成本和提高有效产出提供保障。本书适用于各个阶段的开发者群体。刚刚涉足软件开发领域的新人能够透过大师的眼睛来看待编程，了解编程的价值观与原则；具有丰富经验的资深工程师则可以通过这些模式进行反思，探究成功实践背后的意义。把价值观、原则和开发实践结合之后，日常开发工作便会以崭新迷人的形式呈现在我们面前。

《Step By Step现场可编程门阵列设计入门与进阶》由浅入深地介绍了基于XILINX现场可编程门阵列的数字集成电路设计方法，着重讲述了硬件表述语言作为数字集成电路设计工具与一般软件语言的区别，以及与基本电路构造之间的紧密联系。《XILINX 大学合作计划指定教材：Step By Step现场可编程门阵列设计入门与进阶》首先对元器件基本单元进行说明，然后对各种电路模块和语言模板加以比较，再引入电路设计中的时序概念，同时对同步/异步问题做了详细分析，最后对XILINX的设计工具进行了简要说明。数字集成电路设计方法只有通过不断的实践才能真正掌握，《XILINX 大学合作计划指定教材：Step By Step现场可编程门阵列设计入门与进阶》还配有相关习题集，所有试验均在华桑电子教育平台上验证通过。《XILINX 大学合作计划指定教材：Step By Step现场可编程门阵列设计入门与进阶》可作为数字集成电路前端设计工程师的参考用书，也可用作有志于成为数字集成电路工程师的高等院校高年级本科生和研究生的相关专业教材。

软件架构师如何使用VSTS对分布式系统和部署方案进行可视化建模。开发人员如何使用VSTS编写代码，验证代码，重构代码，调试代码，以及对代码进行单元测试。测试人员如何使用VSTS管理测试用例，以及如何进行Web测试、负载测试和手动测试。如何使用域模型和DSL工具，创建自定义的图形设计器。如何使用Team Foundation Server存储和管理软件开发过程的工作产品和工作项。《Visual Studio 2005 Team System软件测试专家教程》作者均为VSTS测试及开发工具的开发团队成员，这也保证了《Visual Studio 2005 Team System软件测试专家教程》所讲述的内容具有高度的针对性。《Visual Studio 2005 Team System软件测试专家教程》介绍的工具使用方式都强调了有的放矢，作者循序渐进地介绍了如何使用Visual Studio Team Edition fol‘Software Developers和Visual Studio Tearn Edition for Software Testers提供的用户界面。我们可以探索每一种测试类型，学习如何高效地使用代码分析工具和动态分析工具，从而进一步提高自身的技术水平，最终不仅能够成为一名优秀的软件开发人员，还可以成为一名优秀的测试工程师。

本书介绍整合PHP、MySQL和Apache进行Web开发的知识。全书分为6个部分。第一部分“基础知识”，提供了一个对安装的快速指导，并带领读者深入了解安装和配置MySQL、Apache和PHP的过程。第二部分“PHP语言结构”，介绍了PHP语言基础，包括数组和对象等结构化元素。第三部分“深入编程”，介绍了中级应用程序开发的主题，包括使用表单和文件、限制访问以及完成包含某个专门概念的小项目。第四部分“PHP和MySQL整合”，介绍了使用数据库的一般性方法，例如，数据库规范化，以及使用PHP来连接并操作MySQL。其中包含了SQL基础知识，还包括特定于MySQL的函数和其他信息。第五部分“基本项目”，介绍如何整合前面已经学习到的所有知识，使用PHP和MySQL执行一个特定任务。第六部分“管理和优化”，介绍管理和优化Apache和MySQL的方法。本书适合于Web应用开发人员以及网页设计技术人员参考。

.NET平台是目前流行的软件开发平台，.NET软件是很多软件测试人员需要面对的测试对象，.NET软件的测试有其特殊性，需要专门的测试技术、测试技巧和测试工具。本书结合流行的软件测试工具QTP、LoadRunner等使用方法的介绍，专注于.NET平台软件测试技术的讲解，阐述各种类型的.NET软件的测试方法和实战技巧，使读者可以快速掌握各种软件测试技术，并且能直接应用于实际的软件测试项目中。本书不拘泥于测试理论的讲解和测试工具使用方法的介绍，而是根据.NET软件测试对象的特点，分门别类地分析其相应的测试方法和测试技术，采用合适的测试工具结合典型案例进行测试讲解。本书是作者多年参与.NET平台软件测试的经验总结，对学习软件测试的初学者和从事.NET平台软件测试工作的工程师，尽快融入实战角色、提高实战技能都有很大的帮助。

本书是为想学习基于NET Framework的插件式框架技术和ArcGIS Engine 9.2组件集的这两种类型读者而撰写的，其最大的特点是从“为什么”开始，以“怎么做”结束，深入浅出地介绍了相关知识的原理和使用范围，并最终将其应用于一个插件式GIS应用框架的开发过程之中。入门新手在成长为一名合格程序员的过程中总会遇到个瓶颈阶段，也许你熟练地掌握了一门语言的语法，并成功地写了几个小程序，让自己颇有成就感。那么接下来呢？你是否有足够的劲头去深人了解语言的一些高级特征，甚至开始思考某些术语的准确含义、差别和使用场合？也许你正试图这么做，但最后或多或少地都会有些沮丧——你无法简单地将这些知识点融合起来，以形成自己头脑中的技术地图——你有一堆珍珠，却不能串成价值更高的项链。这正是一本带你度过这一阶段的书，它从软件架构的角度来讨论插件式GIS应用框架开发过程，从而让你了解和熟悉多项.NET高级主题的内容和适用范围。无论是纯粹的.NET爱好者，还是对ArcGIS Engine感兴趣的GIS程序员，都能从本书中按得自己想要的东西。本书的目标读者需要拥有一定的C#和NET Framework基础知识，并熟悉ArcGIS的开发技术。