Software Engineering

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 ?

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?

This volume is based on papers accepted for the Second International Workshop on Multi-agent-based Simulation (MABS-2000)federated with the Fourth Int- national Conference on Multi Agent Systems (ICMAS-2000)held in Boston in July 2000.

"e;Small Dynamic Complexity Classes"e; was awarded the E.

Das Buch deckt sowohl funktionale als auch technische Aspekte des Softwaretestens ab und vermittelt damit das notwendige Praxiswissen fur Test Analysts und Technical Test Analysts - beides entscheidende Rollen in Testteams.

This was the ?

As a result of the open-source movement there is now a great deal of reusable software available in the public domain.

"e;Small Dynamic Complexity Classes"e; was awarded the E.

Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade.

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

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.

The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal.

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia.

Welcome to the second volume of Transactions on Computational Collective Intel- gence (TCCI), a new journal devoted to research in computer-based methods of c- putational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.

ETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software.

Java, undoubtedly, has its roots in embedded systems and the Web.

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE).

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

For the ?

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.

For the ?

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.

ETAPS 2002 was the ?