本书融入了作者10多年来构造系统的经验和教授软件工程课程的教学内容。主要讨论了在复杂而多变的系统设计中如何使用软件工程的面向对象技术。全书共有12章，每章都是先阐述实例来介绍相关问题，再简要描述与主题相关的技术，然后通过一些简单的例子来解释基本概念并用实际系统中的例子来讲解主要技术，最后讲述管理中的问题，讨论典型的解决方案并给出相关习题。这种编排方式有助于读者更好地学习和理解。本书内容详实，示例丰富，实用性强，适用于有一定编程基础的高年级本科生、研究生及相关工程技术人员和管理人员。

当岁月迈进2002年时，杰克·韦尔奇已经67岁了，可全球经理人还是几乎人手一本《杰克·韦尔奇自传》。杰克·韦尔奇的影响是令人信服的。他的自传在动笔之前就被时代华纳公司以700万美元的天价竞标购得北美版权。　《韦尔奇24戒律》将杰克·韦尔奇深邃的管理理念分化为24条戒律，每一条都指出一个传统的管理误区，并指出一条别开生面的解决之道。杰克·韦尔奇说，商业就像人生一样，可以归结为一点：直面现实，然后在现实基础上做出正确的决定。对他来说，没有什么比这一观念更为基本、更为重要了。　韦尔奇革命的核心就是他的“直面现实”法令。直面现实通常意味着不受欢迎的言行。说到底，谁愿意听到这项业务很糟，或是事情不会好转了的说法？但韦尔奇觉得，只有认真面对现实才能使事情好转。所以，假如下一次有个上司或同事说，只要我们坚持到底不放弃，事情一定会好转，告诉那个人要直面现实。杰克·韦尔奇就是这样将一个老掉牙的官僚机构变成了世界上最有价值的公司。　24条戒律成就了一个商业旷世奇才，我们离奇才到底有多远？看看他用什么成就了自己，或许我们也可以有所得。

本书是面向程序员的“天龙八部”，真正的编程高手是在千锤百炼之后诞生的。其中的酸甜苦辣均凝结在本书的字里行间，尤为珍贵的是文中的“秘签”将会是无名小卒脱胎换骨的利刃，希望本书能让程序员体味到一个编程的“天高云淡”的最高境界。

本书全方位地介绍了如何建立和最终交付一个具有很高商业价值的成功网站。由因特网领域的佼佼者Wheel公司开发出来的8阶段方法能让您轻松管理网络项目的捐助人、质量、成本和时间进度。本书内附国际一流网站开发专家的深邃见解；涵盖了网络项目管理的关键原则及案例研究；通过友情链接，还为读者提供了模板、论坛、术语表、相关链接以及有关因特网知识的测验题。读者对象：项目经理、在线经理、网络总监、网络顾问、网络监制人。

本论文集共收录了论文历篇，涉及了软件建模语言、体系结构与测试、构件与中间件、XML、过程、测试与质量、应用等方面，这些工作基本上反映了我国软件科技人员近期在软件技术与应用方面的最新进展。

本书对大型软件系统开发中具有重要意义的软件构架评估进行了系统阐述，着重讲解了3种流行的构架评估方法。本书是构架评估的实践指南。它不仅给出了所讲的评估方法的应用案例，而且还给出了很多细节内容，其目的就是要让经验不多的读者在读完此书之后，能够运用这些方法进行构架评估。本书适用于从事或打算从事软件构架评估的人员。构架设计师、软件开发人员或管理人员都将从本书中获益。本书也可供计算机科学专业或软件工程专业的学生参考使用。

系统开发人员使用建模语言对系统进行描述、可视化、构造和文档化已经有数十年的历史了，使用叉形图、箭头以及潦草书写的选择条件勾勒系统草图的历史则可以追溯到更早的时候。但是UML（统一建模语言）是在系统工程的历史上为从业人员提供的第一种适用于种类繁多的系统、领域和过程（或方法）的通用语言。它不保证项目一定成功，但它使你可以使用一种一致、标准和得到工具支持的语言来交流解决方案。所有迹象都表明业界正在迅速普及UML。该语言由著名软件工程专家Grady Booch，James Rumbaugh和lvar Jacobson（三人现均已加盟Rational软件公司）创造，于1997年被OMG（对象管理组织）接纳为一种标准建模语言，已取得了任何先前竞争者无法与之相比的巨大成功。UML有着坚实的概念和实践基础，非常适合支持用C++和Java实现的项目。该语言已经实现的标准化为工具和标准方法或过程奠定了基础。本书以一种清晰明了的参考形式对UML及其扩展机制和OCL（对象约束语言）进行介绍。本书为UML初学者提供了一份教程，有助于他们尽快学会使用UML。本书简洁严谨，条理清晰地解释了该语言的各种元素。引言性章节中还阐述了UML的用途，并说明了它对项目的价值和作为一种交流手段的价值。主要内容：UML在项目中扮演的角色；面向对象范型及其与UML的关系；带有实例的教程；对UML图的综合介绍；类和对象图、用例图、序列图、协作图、状态图、活动图、组件图，以有部署图；扩展机制；OCL（对象约束语言）。

本书是全国科学技术名词审定委员会审定公布的地理信息系统名词，内容包括基本概念、技术与应用、国内外主要组织机构及其他等三大类，共收词1808条。书末附有英汉、汉英两种索引，以便读者检索。本书公布的名词是科研、教学、生产、经营以及新闻出版等部门应遵照使用的地理信息系统规范名词。

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe， FME 2002， held in Copenhagen， Denmark， in July 2002.The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed， from foundational and methodological issues to advanced application in various fields.

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints， type checking， and constraint modeling.