本书分成四个部分，共12章、10个附录。第一部分面向对象系统设计（第1～4章），介绍OO软件开发的基础知识。第二部分面向对象的语言和系统（第5～7章），比较各种OO语言，讨论开发多语言系统及解决方案。第三部分面向对象的建模基础（第8～10章），介绍实现抽象数据模型方法和类型的相关概念，提出程序验证的断言逻辑，用形式化的方法提供表示对象行为集合特征的概要。第四部分面向对象应用框架（第11～12章），讨论商务处理再设计，对象技术的Web应用及其在计算、智能、移动agent方面的新趋势。附录部分介绍Smalltalk、Eiffel、C++、Java和逻辑程序设计语言DLP，也介绍UML和CORBA IDL（用Orbacus的CORBA应用程序设计指导），提出开发中小型学期项目的建议。本书基本内容安排紧凑，并引用了许多研究文献，适合不同类型的读者，包括学生（作为课本或研究论文和项目论文的补充读物），软件工程师（作为面向对象软件开发的参考书），专业教师（作为面向对象软件开发教程的现成教材）。本书也适合其他读者，例如研究人员、程序员等，并可作为大专院校OO课程的主要教材，或者自学参考书。

本书汇编了500多道数据结构课程的题目，覆盖了数据结构课程的各部分内容。每一章包括例题和自测题，例题部分根据题目考察的知识点进行了类别的划分，给出了较详细的分析和解答；在每章的最后布置了各种类型的自测题，并提供了参考答案。本书旨在帮助广大学习数据结构的读者更深入地掌握数据结构的知识和原理，提高运用这些知识解决实际问题的能力，从而为掌握程序设计的方法奠定扎实的基础。本书适合高等院校计算机专业的学生配合数据结构课程的学习使用，同时适用于报考计算机专业研究生的考生进行专业课的复习，也可作为广大相关领域的技术人员和自学读者学习的辅导书。

精心挑选美国BorlandConference中最有价值的技术讲座，选择了知名的讲师，确保十几场讲座场场都精彩！知名专家与您共同探讨技术人员的成功之路！了解Java/.NET以及Borland最新技术，掌握软件趋势，站在时代的尖端！新老朋友共同切磋有趣的技术话题！更多的产品优惠！

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

本书是一本系统而全面地介绍软件工程理论、技术和实践的专著，是北美学术界和产业界的畅销书之一。本书对软件工程领域内的所有重要课题都给予了极好的解释，并配以大量的插图、举例、练习和参考资料，使说明更加清楚易懂。第5版中增加了有关Web工程、用户界面设计以及基于构件的软件工程的内容，同时更强调UML（统一建模语言），使读者更加熟悉UML，使用起来也更加方便。作者简介：RogerS.Pressman博士是软件过程改善和软件工程技术方面的国际知名的权威。30多年来，他作为为软件工程师、管理者、教授、作者以及咨询顾问一直工作在软件工程领域。Pressman博士撰写了很多技术文章，并且是多种行业期刊的固定撰写稿人。Pressman博士还是著名的《IEEESoftware》和《CutterItJournal》杂志的编委，并担任多年《IEEESoftware》Manager专栏的编辑。Pressman博士目前是R.S.Pressman&Associates，Inc公司的总裁，作为公司的主要咨询专家，他负责帮助其他公司建立及进行有效的软件工程实践.目录：第I部分：产品和过程第1章产品第2章过程第II部分：软件项目管理第3章项目管理的概念第4章软件过程和项目度量第5章软件项目规划第6章风险分析和管理第7章项目日程安排与跟踪第8章软件质量保证第9章软件环境管理第III部分：软件工程的传统方法第10章系统工程第11章概念和原则分析第12章建模分析第13章概念和原则设计第14章体系结构设计第15章用户界面设计第16章组件层次设计第17章软件测试技术第18章软件测试策略第19章软件的技术度量第IV部分：面向对象的软件工程第20章面向对象的概念和原则第21章面向对象的分析第22章面向对象的设计第23章面向对象的测试第24章面向对象系统的技术度量第V部分：软件工程的高级主题第25章正规方法第26章净室软件工程第27章基于组件的软件工程第28.章客户/服务器结构的软件工程第29章网络工程第30章二次工程第31章计算机辅助的软件工程第32章未来之路

This book constitues the refereed proceedings of the Second XP Universe and First Agile Universe Conference， XP/Agile Universe 2002， held in Chicago， IL， USA in August 2002.The 27 revised full papers presented together with tutorial abstracts， workshop summaries and panel statements were carefully reviewed and selected. The papers are organized in topical sections on methods and support tools， introducing extreme programming and agile methods， experience reports， testing， empirical studies， pair programming， and educational issues.

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.—proceedings （published in time for the respective conference）—post-proceedings （consisting of thoroughly revised final full papers）—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

This book constitutes the refereed proceedings of the Second Software Product Line Conference SPLC2， held in San Diego， Ca， USA in August 2002.The 24 revised full papers presented were carefully reviewed and selected for inclusion in the book. Among the topics addressed are the introduction of product lines and the dynamics of organizations attempting to introduce product lines; it is evaluated how to choose， which products to produce， and how to model the features of those products.

本书系统介绍了软件体系结构的基本概念、构建模式、组态集成、形式化描述和集成开发环境。全书共6章。第1章概要介绍了软件体系结构的研究背景、动态和面临的问题；第2章详细分析软件体系结构的构建模式及异构集成；第3章结合实例描述软件体系结构组态分析与应用；第4章从WRIGHT形式化描述语言和CSP语义学的角度对软件体系结构进行了定量的表示；第5章介绍了软件体系结构集成开发环境的设计与实现；第6章对今后软件体系结构的研究前景做了分析和展望。本书可作为大专院校软件体系结构的教科书，也可作为从事软件工程、软件体系结构理论研究人员和从事软件研究和开发工作、软件体系结构系统设计、开发及应用工作有关人员的参考书。

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.