本书系统地阐述了算法设计的方法、技术和应用实例。全书内容包括基础算法、基本数据结构、基本算法设计技术、图算法、网络流和匹配、文本处理算法、数论算法、网络算法、NP完全性、近似算法、回溯法和分枝限界法、外存算法、并行算法和在线算法。Java实现示例覆盖了软件设计方法、面向对象实现问题和算法的实验性分析。这些典型问题的Java应用示例分布在不同的章节中。此外，书中以大量图例说明算法的工作过程，使算法更加易于理解和掌握。.本书适合作为高等院校计算机专业本科生和研究生算法设计课程的教材，也可作为从事软件开发和工程设计的专业人员的参考书。此外，算法爱好者和参加各种程序设计大赛的选手也可把本书作为参考用书。...

本书以作者自身学习、使用模式和多年来为软件开发人员（包括面向对象技术老兵和新手）讲授模式的经验为基础撰写而成。首先概述了模式的基础知识，以及面向对象分析和设计在当代软件开发中的重要性，随后使用易懂的示例代码阐明了12个最常用的模式，包括它们的基础概念、优点、权衡取舍、实现技术以及需要避免的缺陷，使读者能够理解模式背后的基本原则和动机，理解为什么它们会这样运作。本书适合软件开发专业人士，以及计算机专业、软件工程专业的高校师生阅读，也可作为面向对象分析与设计课程的参考教材。本书是最简洁、清晰、实用的设计模式著作，应用最新的Java示例，为程序员和架构师提供了使用模式进行设计、开发和交付软件的方法。本书以作者多年来为软件开发人员讲授模式的经验为基础撰写而成。其经验已经证明，如果能够理解模式后面的基本原则和动机，理解为什么它们会这样运作，那么将有助于你加速学习模式的进程。阅读本书，读者能够完整地理解12个核心的设计模式和1个分析模式，了解设计模式并不是孤立存在的，多个设计模式协同工作才能创建出更加坚固的应用程序。这里所讲授的12个模式并没有涵盖所有应该学会的模式，但是理解了这12个模式，你将能够举一反三，更加容易地自学其他模式。

本书从B／S结构软件开发的基本概念入手，就其开发环境的构建、客户端开发技术HTML和JavaScript、服务器端开发技术JSP、Servlet、JavaBeans和JDBC等内容通过大量的应用实例进行了较为详细的讲解。最后简要地说明了B／S结构软件的设计模式。全书共分三篇，第一篇介绍B／S结构软件开发技术的基本知识；第二篇介绍B／S结构软件的客户端开发技术；第三篇介绍B／S结构软件的服务器端开发技术。本书内容丰富，讲解通俗易懂，具有很强的可读性。由于Internet的普及，基于B／S结构的软件开发技术已经成为软件开发人员必备的知识。开发B／S结构的应用软件所涉及到的技术比较多，初学者往往在短时间内难以全面、系统地掌握B／S结构软件开发的相关知识。本书的目标是用浅显易懂的语言、大量的实例、循序渐进的内容安排方式，引导有一定程序设计基础的读者，在较短的时间内掌握B／S结构软件开发的主要理论与实践知识。本书从B／S结构软件开发的基本概念入手，就其开发环境的构建、客户端开发技术HTML和JavaScript、服务器端开发技术JSP、Servlet、JavaBeans和JDBC等内容通过大量的应用实例进行了较为详细的讲解。最后简要地说明了B／S结构软件的设计模式。本书的主要读者对象是从事B／S结构应用软件设计开发的IT技术人员和高校计算机类或信息管理类的大学生，也可以作为IT领域管理人员了解Web技术的读物。

《21世纪高校计算机应用技术系列规划教材·高职高专系列：软件测试技术》主要介绍软件适用的测试技术。《21世纪高校计算机应用技术系列规划教材·高职高专系列：软件测试技术》内容共分为3部分。第1部分为基本概念、测试理论的背景及发展，用真实的案例引出软件测试的重要性，简要分析了当前软件测试技术的现状，指导当前即将毕业的大学生对测试的理解。第2部分介绍软件测试的程序分析技术和测试技术，软件测试的方法和策略，包括单元测试、集成测试、系统测试、验收测试、设计测试等内容，从不同的角度分析软件测试的方法，分析软件业在测试方面的研究成果，并总结测试的基本原则和经验。第3部分介绍两种测试工具软件——基于Windows的WinRunner和服务器负载测试软件WAS。《21世纪高校计算机应用技术系列规划教材·高职高专系列：软件测试技术》适合高校计算机专业的学生使用。不仅可作为计算机本科低年级的教学参考书和软件测试的培训教材，还可作为高职高专院校计算机软件专业的软件测试课程的教材。

《知识产权与软件产业市场结构》以Linux与Windows的竞争为主线，借助理论分析与案例分析组结合的研究方法，着重研究了知识产权保护与软件产业市场结构之间的关系，从而试图揭示软件产业市场结构及PC市场结构的决定因素和形成机制。《知识产权与软件产业市场结构》介绍了Linux和Windows的发展历史，并对知识产权与软件产业市场结构的相关理论做了简要综述，在此基础上提出了本书研究的问题。《知识产权与软件产业市场结构》对基本研究结论及可能的创新做了简要总结，并对中国软件产业的发展提出了若干政策建议。《知识产权与软件产业市场结构》可能的主要创新之处是：在模型构建中，将知识产权保护、不同市场结构、比较优势等因素融入豪泰林模型来研究软件产业市场结构及PC市场结构，这是对豪泰林模型所做的边际意义上的改进和发展；在对现实的解释中，从系统竞争角度对软件产业市场结构及PC市场结构的决定因素和形成机制做出了更为全面的理论阐释；在研究的角度上，将市场结构与知识产权保护之间的关系作为基本的研究脉络，为知识产权理论和市场结构理论的进一步研究提供了新的切入点。

本书是根据普通高等教育“十一五”国家级规划教材的指导精神而编写的。本书用通俗的语言阐述了计算机领域中有关社会与职业方面的问题，为计算机专业学生职业道德教育提供了教学参考。主要内容包括：计算的历史、计算机的社会问题、职业和道德责任、信息伦理道德、计算机知识产权、网络隐私与自由、计算机信息安全与风险责任、计算机犯罪等方面的内容。附录中收录了与计算机相关的法律法规，以方便教学和相关人员学习参考。本书内容全面、新颖，可作为高等院校本科、专科与计算机相关专业的教材，也可作为学校进行计算机社会职业与道德教育的教材，对从事信息系统管理以及信息安全咨询服务的专业技术人员具有参考价值。

本书系统地介绍软件体系结构的基本原理、方法和实践，全面反映软件体系结构研究和应用的最新进展。既讨论软件体系结构的基本理论知识，又介绍软件体系结构的设计和工业界应用实例，强调理论与实践相结合。全书共10章，第1章简单介绍软件体系结构的概念、发展和应用现状； 第2章讨论软件体系结构建模，包括视图模型、核心模型、生命周期模型和抽象模型； 第3章介绍软件体系结构的风格和特定领域软件体系结构； 第4章讨论软件体系结构的描述方法，重点介绍软件体系结构描述语言； 第5章介绍动态软件体系结构及其描述方法； 第6章介绍WEB服务体系结构相关知识，以及面向服务的体系结构的基本概念和设计原则； 第7章讨论基于体系结构的软件开发方法，介绍基于体系结构的软件过程； 第8章讨论软件体系结构的分析与测试问题，重点介绍软件体系结构的可靠性风险分析； 第9章讨论软件体系评估方法，重点介绍ATAM和SAAM方法； 第10章介绍软件产品线的原理和方法、框架技术，重点讨论产品线体系结构的设计和演化。本书可作为计算机软件专业高年级本科生、研究生和软件工程硕士的软件体系结构教材，作为软件工程高级培训、系统分析师和系统架构设计师培训教材，也可作为软件开发人员的参考书。

《中国大学数字博物馆丛书》是国家教育部重大科研项目——大学数字博物馆共享平台与规范标准研究项目成果的重要组成部分。本书是该丛书中的一本，全书分为“规范篇”和“方法篇”两部分，共计12章。综合性地介绍了大学人文艺术类博物馆藏品信息指标著录规范，提供了规范的采集指标体系；详细介绍了博物馆藏品信息采集与管理系统软件的设置原理和操作使用方法。本书为国内人文艺术类博物馆界的数字化建设提供了大量值得借鉴的思路和方法，可供博物馆和文物保护科研机构专业工作者、大专院校博物馆专业师生阅读，也可供社会各界爱好数字博物馆人员参考阅读。

《面向UML模型的依赖性分析及应用的研究》主要在面向UML类图的依赖性分析及其在切片上的应用、结合UML通信图的类图依赖性分析及其在切片上的应用、面向UML状态机图的依赖性分析及其在切片上的应用、基于依赖性分析的UML类图复杂性度量等方面展开深入研究，并实现《面向UML模型的依赖性分析及应用的研究》中提出的UML类图切片和类图复杂性度量方法，具体而言，《面向UML模型的依赖性分析及应用的研究》将在以下几个方面展开研究。1.导论。2.面向UML类图的依赖性分析及其在切片上的应用。3.结合UML通信图的类图依赖性分析及其在切片上的应用。4.面向UML状态机图的依赖性分析及其在切片上的应用。5.基于依赖性分析的UML类图复杂性度量研究。6.一种新的基于依赖性分析的UML类图复杂性度量。7.UML类图切片和度量支持环境框架。8.总结与展望。

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing， FATES 2006， and on Runtime Verification， RV 2006， held within the scope of FLoC 2006， the Federated Logic Conference in Seattle， WA， USA in August 2006. The 14 revised full papers presented together with 3 invited lectures were carefully selected from 31 initial submissions. The papers discuss formal approaches to test and analyze programs and monitor and guide their executions by using techniques from areas like theorem proving， model checking， constraint resolution， static program analysis， abstract interpretation， Markov chains， and various others. Formal approaches to runtime verification use formal techniques to improve traditional ad-hoc monitoring techniques used in testing， debugging， performance monitoring， fault protection， etc.