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 refereed proceedings of the Second International Conference on Electronic Commerce and Web Technologies， EC-Web 2001， held in Munich， Germany in September 2001. The 31 revised full papers presented together with one invited survey were carefully reviewed and selected from more than 80 submissions. The papers are organized in topical sections on Web software development; XML transformation; electronic payment， simulation and case studies; modeling design， and complex transactions; security aspects; electronic negotiation and trust; product catalogs; Web site engineering; user behaviour and modeling; and business models and system aspects.

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 European Conference on Software Quality， ECSQ 2002， held in Helsinki， Finland， in June 2002.The 31 revised full papers presented together with seven abstracts of invited presentations were carefully reviewed and selected from 78 technical and experience-based paper submissions. The papers are organized in topical sections on quality at Web， requirements engineering and QA， process improvement experience， risk and cost management， personal software process， partnering for quality， defect management， the COTS market， XP and/or maturity， new approaches to testing， and effective inspection.

本书由两个有机部分组成：部分是ATM技术基础，这是ATM技术的专家级的导引，介绍了协议、物理层、呼叫控制过程、交换、流量管理以及网络管理。第二部分是ATM服务的提供，简称ATM业务，它描述了如何通过ATM提供服务，给出今天重要的ATM应用的详细方案，通过设计实例帮助网络工程师快速创建实际的ATM应用系统。本书适合大学计算机和通信系作为ATM课程的教材或教学参考书，也可作为计算机网络工程师和通信网络工程师的参考书。

本书是关于复用技术的说细指南，从复用概念、复用管理技术、应用复用技术、生产者复用技术几个方面，一步步地教导读者如何将复用加入到软件开发过程中，并获得复用的*效益。本书不仅说明了如何复用源码，而且还讲解了如何复用需求说、设计、测试脚本、项目计划、文档、对象框架等，并通过案例研究说细介绍了16种不同的复用技术。本书将复用原理与技术应用很好地结合在一起，适用于有软件开发背景并且想学习如何实施复用驱动软件开发的专业人士，也可以作为高等院校相关专业的软件工程课程的参考用书。

The LNAI series reports state-of-the-art results in artificial intelligence re-search，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R＆D community，with numerous individuals，as well as with prestigious organizations and societies，LNAI has grown into the most comprehensive artificial intelligence research forum available.The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing including interdisciplinary topics in a variety ofapplication fields. The type of material published traditionally includesproceedings（published in time for the respective conference）post-proceedings（consisting of thoroughly revised final full papers）research monographs（which may be based on PhD work）

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 Third International Conference on Generative and Component-Based Software Engineering， GCSE 2001， held in Erfurt， Germany， in September 2001.The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on software product lines， aspects， generic and generative approaches， and components and architectures