Compilers and interpreters

This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering.

Conceptual modeling has long been recognized as the primary means to enable so- ware development in information systems and data engineering.

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE).

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?

The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community.

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007).

Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, styles, models, tools, and processes.

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14-18, 2008.

Formal engineering methods are intended to o?

This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008).

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 2005, 2006 and 2007, held in Paris, Brussels and Maastricht.

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated - the so-called genericity of the paradigm.

This book constitutes the refereed proceedings of the 7th IFIP WG 6.

This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23-24, 2007.

Celebrating Five Years of Early Aspects The early aspects community had its origins in the "e;Early Aspects: Requirements En- neering and Architecture Design"e; workshop organized during the first international c- ference on Aspect-Oriented Software Development (AOSD), in March 2002.

These are the joint ?

The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23-27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS).

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008.

The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21-24, 2008.