《构件化软件动态更新与验证技术》对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算），以期为动态更新安全性、一致性等的保证提供形式化推演机理；*后构建动态更新服务框架和支持平台，试图对所提议的关键技术问题及其解决方案加以技术实现，通过原型案例和实验分析来推导和验证构件化软件动态更新所采用的技术和方法。

本书主要介绍如何让Python 程序发挥强大性能，内容涵盖针对数值计算和科学代码的优化，以及用于提高Web 服务和应用响应速度的策略。具体内容有：基准测试与剖析、纯粹的Python 优化、基于NumPy和Pandas 的快速数组操作、使用Cython 获得C 语言性能、编译器探索、实现并发性、并行处理、分布式处理、高性能设计等。

本书以“突显软件功能特性 立体化多媒体技术应用技能 当前社会需求”为宗旨，旨在使读者通过系 统学习，能够掌握较为全面和深入的多媒体应用技能。本书共分为4篇，由浅入深、循序渐进地介绍了多媒体技术的基础理论知识，基于Photoshop CS6的图像 处理技术，基于Flash CS6的动画设计技术，基于会声会影的视频编辑技术。本书内容组织系统、翔实、有理有 据、主次鲜明，并将实例讲解充分贯穿其中，为读者全面掌握多媒体领域中图像、动画、视频等类型文件的设计 开发和编辑处理技能，系统提升自身的信息素养提供了有效的支撑。在出版形式上，本书在一定程度上融合了移动端媒体和网络资源，力求通过纸质书籍和现代化出版手段 紧密结合，为读者提供更加全面、系统、直观的学习资源。本书的适用对象广泛，可以作为广大初、中级电脑用户的自学参考书，也可以作为大中专院校、职业学校 及各类社会培训学校的多媒体技术相关课程的教材资料等。

《软件工程/普通高等院校计算机类专业规划教材·精品系列》依据典型的软件开发过程，以软件生命周期为主线组织内容。全书共分9章，第1章介绍软件工程相关的基本概念，第2、3章介绍结构化分析和设计，第4～6章介绍面向对象分析和设计，第7、8章介绍软件测试及软件质量保证，第9章介绍软件项目管理。《软件工程/普通高等院校计算机类专业规划教材·精品系列》的组织在一定程度上兼顾了面向过程、面向对象、软件工程管理的视角。《软件工程/普通高等院校计算机类专业规划教材·精品系列》内容丰富、循序渐进，注重软件工程理论与实践的结合，适合作为高等院校软件工程、计算机科学与技术等相关专业本科生软件工程课程的教材，也可作为从事软件开发人员的参考书。

为什么网易云音乐的体验流畅细腻、富有温度？为什么网易严选App的UI设计让人感到温馨、舒适？为什么网易蜗牛读书App的界面设计让用户爱不释手……本书是网易用户体验设计团队对自身过去的设计思考的精心总结，最大程度还原了网易产品背后的设计故事，内容涵盖设计基础、设计实践、方法思考、成长指南四章，借助网易产品设计的实际案例具体讲述了设计师日常工作中不可避免的用户引导、色彩搭配、品牌设计、体验设计、信息层级、设计规范等内容。我们相信，做设计是需要“匠心”的。因此，我们细致设计了书中的每一处细节，希望这本反思、总结之书能够给广大UI设计师、视觉设计师、交互设计师、用户体验设计师、产品经理等产品设计相关人员带来启迪，帮助所有从业人员展望未来。

在本书中，克雷格·拉尔曼（CraigLarman）和巴斯·沃代（BasVodde）浓缩了他们十多年大规模LeSS采用所累积的经验，其精髓是打造简单高效的组织，提供更低的复杂度、更大的灵活性，交付更少的浪费、更多的价值，实现更简的规则、更高的目标。

本书介绍了软件系统典型的开发路线及其开发方法，且重点讲解了面向对象的软件系统开发的分析与设计方法，既包括理论知识、建模技术，又包括一些建模工具软件的使用技能。其内容安排是以一个面向对象的软件系统开发案例的分析与设计过程贯穿来讲解理论知识和设置实训任务。另外，书中关键术语和一些图例采用中英文两种表达方式，有利于读者掌握专业知识的同时掌握专业英语。本书内容设置系统、连贯，叙述清晰，逻辑严密，且结合待开发案例讲述，使各知识点更易于理解。涉及工具软件使用的实训任务指导叙述准确、翔实，包括了多种建模软件的操作指导，易于学生掌握，且习题丰富。这是一本适合应用型本科和高职高专的软件及信息管理类专业学生的教材，同时也是一本软件从业人员系统学习面向对象的软件系统分析与设计技术的入门书，当然它也包括较深入的知识。本书还适合作为有双语教学要求的此类课程的教材。

《基于新信息技术的软件工程与UML教程》以工作过程导向、任务驱动模式教学法等职业教育中的新理念为基础，结合实际生活、学习、职业工作过程以及真实案例，归纳出14个教学项目，重点突出课程的知识目标和能力目标。《基于新信息技术的软件工程与UML教程》图文并茂，结构清晰，表达流畅，内容丰富实用。全书共分为14个项目，内容主要包括：软件工程基础、问题定义及可行性研究、需求分析、软件设计、软件实现、软件交付与维护、认识UML、Rational Rose简介、需求建模、静态建模、动态建模、物理建模、双向工程及UML建模综合案例。每个项目都有知识目标和能力目标，在各项目训练中分别融入了软件开发岗位各项职业能力需求元素，从而实现该课程与岗位的对接。《基于新信息技术的软件工程与UML教程》可作为高等职业院校软件技术专业的教材，也可作为相关人员的培训教材。

本书得到全国高等院校计算机基础教育研究会立项支持。本书对软件体系结构和软件设计的基本原理和实例进行了系统的阐述，包括软件体系结构的定义和研究内容、经典软件体系结构风格、分布式软件体系结构风格、MVC风格与Struts框架、软件设计的目标、面向对象软件设计方法、设计原则、设计模式等内容。 本书在介绍软件体系结构和软件设计原理的前提下，特别注重实用性。书中含有大量精心设计的程序实例，方便读者学习。本书集作者多年的教学经验编写而成，语言通俗易懂，内容安排合理，讲解深入浅出。 本书适合为普通高等学校软件工程专业、计算机科学与技术专业以及信息类相关专业本科生和研究生的教材，也可作为软件工程培训教材，以及软件开发人员的参考书。

本书以监控组态软件——力控通用版组态软件新版本ForceControl 71sp3为背景，从使用角度出发，对该组态软件的主要功能、使用方法及操作技巧进行了详细的介绍，使读者能够在较短的时间内掌握ForceControl 71sp3并应用到实际工程中。 全书首先按照组态软件基本操作步骤的先后顺序，介绍了工程管理器、开发系统、实时数据库系统、外部I/O设备、动画连接、脚本系统、分析曲线、专家报表、报警和事件记录、运行系统与安全管理的功能。其次以比例控制下的存储罐的液位监控实验为例，贯穿全书内容，即在每章的后一节介绍了该实例在每章中的具体应用。后以9个典型工程仿真实验为例分别采用PLC（SIMATIC S7200 SMART）梯形图、脚本程序实现控制，并用组态模拟对象，详细介绍了监控组态软件仿真实验的开发与实施步骤。 本书体系合理、层次清楚、示例丰富、通俗易懂，有较强的适用性和可操作性。可作为高等院校电气工程及其自动控制、电子技术、计算机应用、工业自动化、机械电子工程、机电一体化等专业教材，同时还可作为从事相关专业工程技术人员的自学或实训用书。