Model transformations are the glue that tie modelling activities together. If you've used modelling in anger then, whether you know it or not, you've used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings--at one point, not long ago, it was said by many 'in the know' that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model...

On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 11 International Conference on Product-Focused Software Process Improvement (PROFES 2010), held in Limerick, Ireland. Since the first conference in 1999 the conference has established its place in the software engineering community as a respected conference that brings together participants from academia and industry. The roots of PROFES are in professional software process improvement motivated by product and service quality needs. The conference addresses both the solutions found in practice as...

Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010.

It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M alaga, Spain. The conference continues to serve a broad object-oriented community with a technical program spanning theory and practice. The program was rounded out with keynotes by Oege De Moor, Ivar Jacobson and Bertrand Meyer, and a banquet speech by Jean Bzivin. The proceedings include 16 papers selected from 60 submissions. The papers were reviewed in a single-blind process with 4-7 reviews per paper. The Program Committee (PC) discussions followed Oscar Nierstrasz Champion pattern. PC...

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1 2 in M alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness....

This book constitutes the refereed proceedings of the 9th International Workshop on OpenMP, held in Canberra, Australia, in September 2013. The 14 technical full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on proposed extensions to OpenMP, applications, accelerators, scheduling, and tools.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies.

Constitutes the refereed proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, held in Cardiff, UK, in June 2010. This book includes papers organized into topical sections on queueing theory, specification languages and tools, telecommunication systems, and estimation.

This book celebratesthe 25th anniversaryof GULP--the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding...