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.

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.

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

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

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.

Keep connected to what's happening in the world of books by signing up for Amazon.com Books Delivers， our monthly sub*ion e-mail newsletters. Discover new releases in your favorite categories， popular pre-orders and bestsellers， exclusive author interviews and podcasts， special sales， and more.

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 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 proceeding of the 13th European Software Process Improvement Conference， EuroSPI 2006， held in Joensuu， Finland in October 2006.The 18 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on SPI （Software Process Improvement） processes， SPI and risk management， measurement， process modelling， human factors， and implementation of SPI.