Software Engineering

1 "e;Change is inevitable.

Testing often accounts for more than 50% of the required e?

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo.

The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004.

Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P.

This book contains the Proceedings of the 5th Workshop on OpenMP Appli- tionsandTools(WOMPAT2004),whichtookplaceattheUniversityofHouston, Houston, Texas on May 17 and 18, 2004.

Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades.

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems.

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE).

Visual notations and languages continue to play a pivotal role in the design of complex software systems.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005.

Started on the inspired initiative of Prof.

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

The Automated Technology for Veri?

Researchers in the ?

The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results.

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005.

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T' ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition.

This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis.

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005.

The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for online and computationally hard problems.

It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Research, Management and Applications, held at the Omni Hotel, Los Angeles, California, USA.

Welcome to ICOIN 2005,the International Conference on Information Netwo- ing, held at Ramada Plaza Jeju Hotel, Jeju Island, Korea during January 31- February2,2005.

There are many applications that require parallel and distributed processing to allow complicated engineering, business and research problems to be solved in a reasonable time.

This book constitutes the refereed proceedings of the Third International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2005, held in Catania, Italy in February 2005.