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.

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

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.

本书作者WattsS.Humphrey是能力成熟度模型（CMM）和个人软件过程（PSP）的创始人，CMM包含了在组织这一层次上进行软件过程改进的框架，PSP则为提高程序员个体的工作效率提供了自我训练的规范。作者最新推出的团队软件过程（TSP）则详细说明了软件开发团队应遵循的方法，这将提升团队的生产率。本书系统地论述了如何以开发团队的形式来进行软件的开发，并对开发过程作出了本书系统地论述了如何以开发团队的形式来进行软件的开发，并对开发过程作出了具体而详尽的指导，包括团队成员之间的协调、进度的管理、质量的控制等令读者最感兴趣的方面。本书实用性与可读性较强，适用于软件开发项目经理、程序员和一般编程爱好者在开发软件时参考，也可作为高等学校计算机软件工程课程的参考教材使用。本书是软件工程大师智慧结晶；软件开发团队必备宝典。“SEI软件工程丛书·影印版·中译版”系列图书

本教材分为三大部分。书中分别讲述了软件界面设计的基本理论；中文Photoshop 6.0的应用；以及Microsoft Visio基本界面设计方法等内容。

软件配置管理（SCM）是一项基本的软件工程任务，用于管理当今复杂和快速发展的软件开发环境。本书是一本综合而实用的软件配置管理指南，以市场上最流行的SCM工具Rational ClearCase作为示范工具。作者首先讲解了基础知识，然后展示ClearCase如何通过统一变更管理（UCM）模型实现SCM的最佳经验。本书清晰地展示了如何通过ClearCase简化和控制软件开发项目中的变更。本书并没有停留在基础知识层面，针对现实生活中的真实开发场景，讲解了很多高级技术专题，例如管理多个项目以及管理分布在不同地域的项目。 本书讲述的众多经验、技巧和见解来自于发掘和应用SCM最佳经验的工程实践，书中贯穿了众多精妙的见解和富有价值的建议。作为一本出色的配置管理书籍，本书适合于软件工程师和软件项目管理人员阅读参考。

本书立足工程实践，以应用UML进行面向对象分析和设计为主题，帮助软件工程师在排除关键障碍的基础上，通过推敲实例，有步骤地掌握一套切实可行的方法和流程。全书分为三个部分。第一部分，基本理念和准备知识。是本书的铺垫。解释分析和设计模型的含义和价值，概述面向对象技术的内涵、优势和原则，介绍模型内容的组织和相关的UML表述。第二部分，UML应用建模实践过程。是本书的核心。详细展现分析和设计过程中的5项任务，即全局分析、局部分析、全局设计、局部设计和细节设计。其中包括14项基础活动、39个核心概念、30个关键步骤、52条实践技巧以及贯穿全程的示例。 本书的实践过程遵循Rational统一过程（RUP）的核心思想和基本原则，即以Use Case驱动的、体系构架为核心的迭代化面向对象分析和设计过程。第三部分，设计模型的沿用。是本书内容的延伸。概要地介绍与设计模型直接相关的活动和内容，包括设计模型向实施模型的过渡、设计模型和数据模型的关联以及如何整理主要的设计文档。本书立足实践者的视角，适合于应用面向对象技术的软件工程师，尤其是系统构架师和设计师。本书可以作为应用UML进行面向对象分析和设计的实践课程教材。

《软件工程（第3版）》是新世纪高职高专教材编委会组编的计算机类课程规划教材之一。本教材主要讲述了软件工程的基本概念、原理和方法。通过理论教学与实践教学的结合，使学生基本掌握结构化开发方法，熟悉面向对象的开发方法，学会软件工程文档的编写方法，了解软件工程管理等内容。本教材主要针对第二版教材存在的问题，结合部分高职高专院校教师对《软件工程（第3版）》的建议进行修订，修订的指导思想是：根据高职高专学生在软件行业主要就业岗位的能力要求，着重培养学生软件详细设计、编码、测试与维护能力。修订的重点一是重新编写了面向对象软件工程内容；二是充实了与学生职业能力相关的内容；三是增加了大量教学案例和课后习题。修订后的教材更加符合高职高专学生的学习特点，更加适合高职高专教育的教学要求。本教材具有如下两大特点：1．突出了教材的实践性。教材以“高校图书管理系统”为教学案例，贯穿教材主要章节，涉及软件工程问题定义与可行性研究、需求分析、软件设计各主要阶段，通过这种“任务驱动”的教学方式，使学生带着任务学习、为应用而学习。2．突出了教材的实用性。为提高学生的职业能力，在详细设计章节，着力培养学生运用各种图形工具描述算法的技能；在编码章节，着力培养学生形成良好的程序设计风格。通过大量例题去讲解抽象的理论知识，使学生通过案例学习、在应用中学习。

高等院校经济与管理类专业公共基础课标准教材。管理信息系统是进行有效管理、正确决策和实现管理现代化的重要手段。作为一门新兴学科，管理信息系统综合了管理科学与工程、计算机科学、经济理论、统计学和运筹学等许多学科的概念和方法，形成了独特的体系和领域。本书的目的是要让学员通过学习管理信息系统的基本概念和基本知识，建立系统的概念，从信息系统的角度来审视、考虑和处理组织中的问题，使学员初步掌握管理信息系统分析、设计、实施和评价的方法，懂得人的因素、社会因素在发展管理信息系统中的重要作用。本书并不要求学员具有信息技术和信息系统的专业知识，它适合大学本科各专业了解和掌握管理信息系统及其有关方面的内容使用。本书在论述方面力求通俗易懂，有关技术章节部分的内容可供以前没有这方面知识的学生选学。

《面向对象程序设计》是按照本科院校学生的培养目标和基本要求，并结合多年来教学和软件工程实践的经验，为实施教学改革，使计算机教学进一步面向应用实践而编写的教材。《面向对象程序设计》内容包括：从面向过程到面向对象、C++程序设计初步、表达式和引用、程序控制语句、类与对象、构造函数与析构函数、继承与派生、多态性和虚函数、进一步使用成员函数、运算符重载、流类库、模板、异常处理等。每章后都配有习题，书后附录提供了部分习题答案和课程设计，体现了教材的理论性和实用性的统一。《面向对象程序设计》可作为计算机及相关专业的教学用书，也可作为工程技术人员的参考用书。