Software Engineering

This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged...

It is with great pleasure that we present the proceedings of the 6th Inter- tional, Symposium on Visual Computing (ISVC 2010), which was held in La...

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that h...

This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in M...

The 4th International Web Rule Symposium (RuleML 2010), co-located in Alexandria, Virginia, USA (near Washington, DC) with the 13th International B...

This book constitutes the refereed proceedings of workshops, held at the 29th International Conference on Conceptual Modeling, ER 2010, in Vancouve...

The proceedings at hand are the outcome of the conference for young sci- tists titled Facing the Multicore-Challenge held at the Heidelberger Akade...

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by ...

The 8th IFIP Workshop on Software Technologies for Embedded and Ubiq- tous Systems (SEUS 2010) in Waidhofen/Ybbs, Austria, October 13-15, 2010, suc...

Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aim...

This volume contains the selected peer-reviewed revised articles that were p- st sented at the 21 International Symposium on Implementation and App...

This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paph...

Many papers in this volume re?ect, to some degree, the active, rapid economic developmentincertaingeographicareasintheworldsuchasChina,Japan,South ...

What will you learn from this book? If you're a software developer looking for a quick on-ramp to software architecture, this handy guide is a grea...

The BPM Conference series has established itself as the premier forum for - searchersintheareaofbusinessprocessmanagementandprocess-awareinfor- tio...

th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vanc...

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 1417, 2010 in Tozeur, Tunisia. It c...

This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switz...

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Metho...

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in...

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applicatio...

This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The ...

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in...

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in Ju...