Modern civilization relies on a functioning information infrastructure. As a result， dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories， methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology.The present volume documents the results of a research program on Dependable Information and Communication Systems （DICS）. The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions， as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler， Switzerland， in March 2004， and the second workshop， which marked the conclusion of the projects， in Löwenberg， Switzerland， in October 2005. The papers are organized in topical sections on surveys， dependable software， dependable computing， and dependable networks.

This book constitutes the refereed proceedings of the 7th International Conference on Product-Focused Software Process Improvement， PROFES 2006， held in Amsterdam， The Netherlands in June 2006.The 26 revised full papers and 12 revised short papers presented together with 6 reports on workshops and tutorials were carefully reviewed and selected from 55 submissions. The papers constitute a balanced mix of academic and industrial aspects; they are organized in topical sections on decision support， embedded software and system development， measurement， industrial experience， process improvement， agile development practices， and product line engineering.

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.

"This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Generative and Component-Based Software Engineering， GCSE 2000， held in Erfurt， Germany in October 2000.The twelve revised full papers presented with two invited keynote papers were carefully reviewed and selected from 29 submissions. The book offers topical sections on aspects and patterns， models and paradigms， components and architectures， and Mixin-based composition and metaprogramming."

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering， GTTSE 2005， held in Braga， Portugal， in July 2005.The 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations， methods， examples， and tool support. They deal with the following subjects： feature oriented programming and the AHEAD tool suite; model driven engineering; program transformation with reflection and aspect-oriented programming; the transformational approach to database engineering; program optimizations and transformations in calculation form; mappings in data processing; and the use of graph transformations for model refactoring.

本书技术范围属计算机软件与理论二级学科计算机软件专业，紧扣软件软件工程标准规范要求，结合国内相关软件研制现状，系统地介绍了软件质量管理的要求，涵盖了软件工程、CMMI软件能力成熟度模型和软件测试技术的相关知识。对于帮助软件质量管理人员清楚了解和掌握质量管理精髓具有较强的指导作用。本书是作者多年从事软件工程技术研究和软件质量体系建设的实践经验总结，与其它公开教材相比，本书的实用性好，内容指导性强，适用于全军、同领域教育培训，具有较高的参考价值。本书可供从事软件研制的技术和管理人员使用，也可供高等院校的研究生和高年级本科生学习和参考。

本书通过一个关于Scrum团队的故事介绍团队成员如何一起面对共同的挑战，从而交付有价值的产品增量。在叙述上，本书结合案例研究与相关讨论，首先介绍 Scrum 团队遇到的特定挑战，然后探索应对该挑战的替代方案。本书可以帮助读者将Scrum框架规则应用到日常工作中，优化团队和个人的表现，改进他们的工作方式和交付有价值的产品，创造更多的价值。本书适合所有在Scrum团队工作的人阅读，包括刚接触这个框架的人与经验丰富的Scrum实践者。

《揭秘PPT真相》全面介绍了PPT的特性、类别、应用场景，以及高质量PPT的特点和制作流程等内容，以制作PPT为主线，重点介绍如何使PPT重点突出、美观时尚，并讲解了修改、创作PPT模板的流程、工具。本书还介绍了创意图表的设计方法，不仅帮助读者迅速上手，制作出来的创意图表更是可以直接套用。此外，书中还介绍了辅助PPT制作的资源、工具及PPT在其他领域的应用，以便扩展PPT的功能边界，提升PPT的设计效率。《揭秘PPT真相》内容起点低、讲解详细，能够帮助PPT小白快速掌握PPT的设计规律，学会PPT的美化技巧，熟悉PPT的制作流程，迅速做出比较完善的PPT。

《OpenCV入门与技术实践》介绍如何学习和使用流行的OpenCV库开发计算机视觉应用，主要内容包括图像的核心操作、图像阈值处理、图像形态变换、图像边缘检测、角点检测与特征匹配等。 全书分为4章：第1章着重介绍使用Python开发OpenCV应用基础知识；第2章着重介绍使用OpenCV进行图像特征检测、描述和特征匹配的各种算法；第3章着重介绍OCR文字识别；第4章着重介绍OpenCV中的深度学习。 《OpenCV入门与技术实践》适合作为高等院校计算机、软件工程专业本科生、研究生的参考书目，也适用于对人工智能领域感兴趣的人士。

全书以MATLAB 2022为基础，结合高等学校学生的教学经验和在计算科学中的应用，讲解数学计算和仿真分析的各种方法和技巧，完整的编写一套让学生与零基础读者可以灵活掌握的教学指南。让学生与零基础*终脱离书本，应用于工程实践中。本书主要内容包括MATLAB 概述，MATLAB基础知识， 数组，矩阵，二维图形绘制，三维图形绘制，图像处理，数据分析，高等数学计算，微分方程，GUI设计与动画演示，优化设计，概率统计分析等内容。本书覆盖数学计算与仿真分析的各个方面，既有MATLAB基本函数的介绍，也有用MATLAB编写的专门计算程序，利用函数解决不同数学应用问题，实例丰富而典型，包括两章经典实例，将重点知识进行融入应用，指导读者有的放矢地进行学习。本书既可作为初学者的入门用书，也可作为工程技术人员、本科生、研究生的教材用书。