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.

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.

Large Refactorings looks at methods of establish design improvements as an important and independent activity during development of software， and will help to ensure that software continues to adapt， improve and remain easy to read and modify without altering its observable behaviour. It provides real-world experience from real refactored projects and shows how to refactor software to ensure that it is efficient， fresh and adaptable. 作者简介：Stefan Roock works as a consultant and coach for it-agile GmbH （located in Germany）. His areas of expertise include agile software development， refactoring techniques and agile project management and among his special interests are refactoring， incremental design and agile customer coaching. Stefan also is frequently a speaker at technical conferences and has published a number of papers and articles. He is co-author of the book "Extreme Programming in Action". You can contact him at stefan@stefanroock.de or http：//www.stefanroock.de.

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.

《面向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 refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering， XP 2006， held in Oulu， Finland， in June 2006.The 16 revised full papers presented together with 6 experience papers， 12 poster papers and panel summaries were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on foundation and rationale for agile methods， effects of pair programming， quality in agile software development， issues in large scale agile development， new practices for agile software development， experience papers， posters and demonstrations， and panels.

This tutorial book presents an augmented selection of the material presented at the Software Engineering Education and Training Track at the International Conference on Software Engineering， ICSE 2005， held in St. Louis， MO， USA in May 2005.The 12 tutorial lectures presented are the thoroughly revised versions of the most representative and innovative approaches featured at the workshop. The authors revised their papers based on discussions at the conference and the comments they received from the reviews. Together， these papers show the state of the art and practice and the significant challenges facing our field in educating the next generation of software engineers. The papers are organized in topical sections on software engineering education， state of the art and practice： creativity and rigor， challenges for industries and academia， as well as future directions.

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering， PSSE 2004， held in Receife， Brazil in November/December 2004， jointly with the Brazilian Symposium on Formal Methods （SBMF 2004）.The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves， and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency， probability， real time， model checking， and object orientation. Apart from languages and techniques， the courses also cover the semantic underpinnings of refinement， and industrial applications and refinement tools.

《计算机软件技术基础》是高等院校非计算机专业计算机软件技术基础课程教材，全书从非计算机专业科研人员对计算机软件技术应用的需求出发，系统、通俗地介绍了计算机软件技术的概念、结构和方法等基础知识。内容包括软件工程、数据结构、操作系统以及数据库系统共四个部分，每个部分又分章节，对其基本原理和常用实例进行分析，各章附有习题《计算机软件技术基础》适用于非计算机专业的研究生、本科生作为教材使用，也可供从事计算机应用工作的广大科技人员阅读。

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.