Software Engineering

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003.

Every year we witness acceleration in the availability, deployment, and use of distributed applications.

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.

Modern database systems enhance the capabilities of traditional database systems by their ability to handle any kind of data, including text, image, audio, and video.

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct.

The LNCS Journal 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.

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities.

This workshop series is now over ten years old, which is a pretty long time for a very focussed topic: Configuration Management.

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen.

Ubiquitous computing is coming of age.

Software systems play an increasingly important role in modern societies.

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities.

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

The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems.

Next-generation distributed applications and systems are increasingly developed using middleware.

This volume contains the proceedings of the 4th International Conference on Veri?

 This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003.

This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004.

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.

The LNCS journal 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 goal of the project is to provide the polish scientific community with an IT platform based on grid computer clusters, enabling e-science research in various fields.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science.

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information.

Long gone are the days when program veri?

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "e;A program verifier.

The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour.

Formal methods are coming of age.

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002.

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software.

This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada.

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6.

After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges.

This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies.

Inconsistency arises in many areas in advanced computing.