Software Engineering

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic.

VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic Issues in Wireless Sensor Networks, and Optical Networking.

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

Welcome to the proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), which was held in Sorrento, Italy, December, 4-6 2006.

Software validation is one of the most cost-intensive tasks in modern software production processes.

Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction.

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems.

The 14th International Smalltalk Conference took place in the ?

This year, for the tenth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?

The XP conference series established in 2000 was the first conference dedicated to agile processes in software engineering.

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006.

The LNCS Jounal on 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.

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer.

It is with great pleasure that we welcome you all to the proceedings of the 2nd InternationalSymposiumonVisualComputing(ISVC2006)heldinLakeTahoe.

This volume 4465 of the Lecture Notes in Computer Science series is a coll- tion of the papers of the NET-COOP 2007 conference, a ?

This volume contains the ?

The Automated Technology for Veri?

This book contains the best papers of the First International Conference on Software and Data Technologies (ICSOFT 2006), organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC) in cooperation with the Object Management Group (OMG).

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23-26, 2006.

We are proud to present the TAMODIA 2006 proceedings.

Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland.

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus.

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006.

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.

This volume contains the proceedings of EWSN 2007, the fourth European c- ference on Wireless Sensor Networks.

CAiSE 2008wasthe20thinthe seriesofInternationalConferencesonAdvanced Information System Engineering.