The LNCS Jounal on Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development （AOSD） techniques in the context of all phases of the software life cycle， from requirements and design to implementation， maintenance and evolution. The focus of the journal is on approaches for systematic identification， modularization， representation and composition of crosscutting concerns， i.e.， the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems.This volume， the second in the Transactions on Aspect-Oriented Software Development series， presents 2 regular revised papers， a guest editors' introduction， and 6 papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range of topics from software design to implementation of aspect-oriented languages， the 6 papers of the special section concentrate on AOP systems， software and middleware.

This book constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications， ECMDA-FA 2006， held in Bilbao， Spain， in July 2006.The 30 revised full papers presented - 18 papers from the foundations track and 12 from the applications track - were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on integration， applikcatoins of transformations， applications of MDA， process， model consistency， model management， transformation， ontologies， re-engineering， tools and profiles， tool generation， constraints， model management and transformations.

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 thoroughly refereed post-proceedings of the 5th International Workshop on Software Composition， SC 2006， held in Vienna， Austria in March 2006. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software， ETAPS 2006.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 60 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect-oriented programming， specification of component contracts and protocols， and methods of correct components composition.

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods， ICFEM 2006， held in Macao， China， in November 2006.The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification， internetware and Web-based systems， concurrent， communicating， timing and probabilistic systems， object and component orientation， testing and model checking， tools， fault-tolerance and security， as well as specification and refinement.

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems （formerly the UML series of conferences）， MoDELS 2006， held in Genova， Italy， in October 2006.The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML， MDA in software development， concrete syntax， applying UML to interaction and coordination， aspects， model integration， formal semantics of UML， security， model transformation tools and implementation， analyzing dynamic models， specifying transformations， MOF， bridging models， risk， trust and dependability， tool environments， OCL， roundtrip engineering， real time and embedded systems， as well as workshops， tutorials and panels.

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.

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 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.

《中国大学数字博物馆丛书》是国家教育部重大科研项目——大学数字博物馆共享平台与规范标准研究项目成果的重要组成部分。本书是该丛书中的一本，全书分为“规范篇”和“方法篇”两部分，共计12章。综合性地介绍了大学人文艺术类博物馆藏品信息指标著录规范，提供了规范的采集指标体系；详细介绍了博物馆藏品信息采集与管理系统软件的设置原理和操作使用方法。本书为国内人文艺术类博物馆界的数字化建设提供了大量值得借鉴的思路和方法，可供博物馆和文物保护科研机构专业工作者、大专院校博物馆专业师生阅读，也可供社会各界爱好数字博物馆人员参考阅读。