Bücher der Reihe Programming and Software Engineering

This book constitutes the refereed proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008.

Constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008. This book addresses various aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, and data flow analysis.

Working and learning can be viewed as parallel processes, with the result that li- long learning (LLL) must be considered as more than just a catch phrase within our society, it is an undisputed necessity.

This book constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement, IWSM 2008, the DASMA Metrik Kongress, Metrikon 2008, and the International Conference on Software Process and Product Measurement, Mensura 2008, held in Munich, Germany, in November 2008.

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures.

This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues.

This book constitutes the refereed proceedings of the Third Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2007, held in Graz, Austria, in November 2007.

Contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, Germany, in July 2007. This title includes reports that are ordered in thematic groups on programming languages, aspects, formal techniques, roles, components, software engineering, and applications.

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrucken, Germany, in September 2012. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context;

Constitutes the conference proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC 2012, held in Shanghai, China in November 2012.

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;

The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.

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 papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Besides that, the highly interdisciplinary ITS conferences bring together researchers in computer science, learning sciences, cognitive and educational psychology, sociology, cognitive science, artificial intelligence, machine learning and linguistics.

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.

Constitutes a collection of the papers selected from 9 workshops and 2 symposia that was held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009.

Constitutes the thoroughly refereed papers presented at five international workshops held in conjunction with the 6th International Conference on Service-Oriented Computing (SOA), ICSOC 2008, in Sydney, Australia, in December 2008. This book includes topics such as management and analysis of SOA processes, and development of mashups.

This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009.

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014.

This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The papers are organized in topical sections on cloud technology, service composition, software development and cloud technology, cloud computing, industry track.

This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full papers and the 3 short papers presented together with 2 keynotes were carefully reviewed and selected from 71 submissions.

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017. The 9 full papers presented have been carefully reviewed and selected from 14 submissions.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing: ASOCA 2017: The Second Workshop on Adaptive Service-Oriented and Cloud Applications ISyCC 2016: The Second Workshop on IoT Systems Provisioning and Management in Cloud ComputingWESOACS 2017: The 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions.

They are organized in topical sections such as Web Services, RESTful web services, Web Services Description Langugage, Universal Description Discovery and Integration, Service discovery and interfaces, Domain-specific security and privacy architectures, Location bases services, Sercurity Services and Markup languages.

Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is "Principles of Modeling" because Edward A.