Software Engineering

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.

The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources.

Where is system architecture heading?

Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques.

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming.

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.

Conceptual modeling represents a recent approach to creating knowledge.

Intelligent agents will be the necessity of the coming century.

This volume presents the revised lecture notes of selected talks given at the second Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babe s-Bolyai University, Cluj-Napoca, Romania.

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico.

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes.

This volume constitutes the proceedings of the ?