Part of the new series，Advanced Topics in Science and Technology in China。this book aims tO introduce the theoretical foundations，various　sub-fields，current research，and practical methods of software architec-ture．Readers can acquire basic knowledge of sotiware architecture，including Why software architecture iS necessary，how we can describesystem’S architecture with formal language，what architecture styles are　popular in practice，and how we can apply software architecture to the　development of systems．Case studies，data，illustrations，and other-materials released within recent years will be used tO show the latest sta-tus in software architecture.

One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent， as an autonomous system capable of interacting with other agents in order to satisfy its design objectives， is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects， which have a state and upon which we can perform operations， so we can understand many others as being made up of interacting semi-autonomous agents. This book brings together revised versions of papers presented at the First International Workshop on Agent-Oriented Software Engineering， AOSE 2000， held in Limerick， Ireland， in conjunction with ICSE 2000， and several invited papers. As a comprehensive and competent overview of agent-oriented software engineering， the book addresses software engineers interested in the new paradigm and technology as well as research and development professionals active in agent technology.

This book constitutes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology， AMAST 2006， held in Kuressaare， Estonia in July 2006， co-located with MPC 2006， the 8th International Conference on Mathematics of Program Construction.The 24 revised full papers presented together with 3 system demonstrations and 3 invited talks were carefully reviewed and selected from 55 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches and to software engineering including abstract data types， process algebras， algebraic specification， model checking， abstraction， refinement， mu-calculus， state machines， rewriting， Kleene algebra， programming logic， and formal software development.

Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which， in turn， are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past， various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.This book is composed of five parts， which deal with topics related to exception handling in the context of programming language models， design methodologies， concurrent and distributed systems， applications and experiences， and large-scale systems such as database and workflow process mangagement systems. The 17 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing， FATES 2005， held in Edinburgh， UK， in July 2005 in conjunction with CAV 2005.The 13 revised full papers presented together with 1 work-in-progress paper were carefully selected from 38 initial submissions. The papers address formal approaches to testing and use techniques from areas like theorem proving， model checking， constraint resolution， program analysis， abstract interpretation， Markov chains， and various others. These techniques are combined with traditional approaches to testing.

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures， QoSA 2006， held in Västerås， Sweden in June 2006， co-located with the 9th International Symposium on Component-Based Software Engineering， CBSE 2006.The 12 revised full papers presented together with the abstracts of 2 keynote talks and 3 tutorials were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on architecture evaluation： selecting alternatives， managing and applying architectural knowledge， architectural evaluation： performance prediction， processes for supporting architecture quality， models for architecture evaluation， and architectural evaluation.

随着计算机技术的日新月异，光盘刻录也不再是专业人士所掌握的技术，正是个人綮旭的兴起，带动了整个计算机记录录业的火爆发展，本书除了深入探计记录录的技术外，更把重点放在刻录各种光盘的完整过程中。本书内容详细全面，语言简洁，讲解细致，适用于爱好刻录的各级用户阅读。

本书阐述了工业软件的数字化转型和云化趋势，描绘了基于新架构、新标准、新模式的新一代工业软件。书中提出以面向未来的新一代“云计算架构”为中心的新型工业软件概念，重新定义新一代工业软件架构和标准体系，并详细阐述了基于工业云服务平台，采用场景化SaaS聚合生态优势，打造由“平台+生态”构成的全栈自主可控工业软件体系，形成云工厂/行业云的新商业模式。这种创新的工业软件体系可以无缝融合到国内蓬勃兴起的工业互联网框架中，为工业互联网提供重要的服务。

本书是*师范教育司组织编写的中学教师进修高等师范本科（专科起点）计算机专业课程教材。本书系统地介绍了软件和软件工程的概念、技术和方法。主要内容包括：软件开发模型介绍、可行性分析、需求分析、软件设计、编码、测试、维护和软件项目管理等。为适应面向对象技术的迅速崛起，本书简要介绍了面向对象方法。本书既注重系统性与科学性，又注重实用性，可作为高等学校软件工程课程的教材或教学参考书，也可作为软件开发人员的参考书。

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.