Compilers and interpreters

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development.

In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada.

Runtime veri?

OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).

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.