Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferra...

This book constitutes the refereed proceedings of the 10th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2011 held i...

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented So...

This book constitutes the refereed proceedings of the 6th International Workshop on Internet and Network Economics, WINE 2010, held in Stanford, US...

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important n...

These are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9-10, 2009 in ...

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be ...

Wearedelightedtopresenttheproceedingsofthe5thInternationalWorkshopon Modeling Autonomic Communication Environments (MACE 2010). This wo- shopwashel...

This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 20...

In a world supported by Ambient Intelligence (AmI), various devices embedded in the environment collectively use the distributed information and th...

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held i...

Itis ourpleasureto presenttheproceedingsofthe17thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2010). The ...

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, A...

This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28-29, 2010 in the...

DISC, the International Symposium on DIStributed Computing, is an inter- tional forum on the theory, design, analysis, implementation and applicati...

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a se...

This volume constitutes the refereed proceedings of the 14th International Software Product Line Conference, SPLC 2010, held on Jeju Island, South ...

This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2...

The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenti...

This book constitutes the thoroughly refereed proceedings of the Second Int- national Symposium on Unifying Theories of Programming, UTP 2008, held...

This volume compiles the papers accepted for presentation at the 16thWorking C- ference on Requirements Engineering: Foundation for Software Qualit...

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, V...

It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique ...

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides re...

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on t...

This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 200...

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- go...

The goal of QoSA is to addressaspects of softwarearchitecturefocusing broadly on quality characteristics and how these relate to the design of soft...

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Mode...

The commercial exploitation of distributed computing technologies is slowly starting to become popular under the general area of cloud computing. T...

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-p...

TheARCSseriesofconferenceshasover30yearsoftraditionreportingtop-notch results in computer architecture and operating systems research. It is organi...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was...

This volume contains revised versions of the papers presented at the sixth e- tion of the International Workshop on Argumentation in Multi-Agent Sy...