Bücher der Reihe Programming and Software Engineering

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. satisfiability & CP track, test and verification & CP track;

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D.

This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece.The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.

This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015.

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions.

A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering.

This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held in Innsbruck, Austria, in November/December 2017. The 17 revised full papers presented together with 10 short papers, 21 workshop papers.

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

EWSA 2005 distinguished between three types of papers: research papers (which describe authors' novel research work), a case study (which describes experiencesrelatedtosoftwarearchitectures)andpositionpapers(whichpresent concise arguments about a topic of software architecture research or practice).

However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc.

The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

This organaization has held workshops on OpenMP around the world since 1999: the European Wo- shop on OpenMP (EWOMP), the North American Workshop on OpenMP App- cations and Tools (WOMPAT), and the Asian Workshop on OpenMP Experiences and Implementation (WOMPEI) attracted annual audiences from academia and industry.

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Monteporzio Catone, Rome, Italy.

Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques.

Constitutes the proceedings of the Third European Conference on Technology Enhanced Learning, EC-TEL 2008, held in Maastricht, The Netherlands, in September 2008. This title includes papers that address the design of innovative environments, computational models and architectures, and results of empirical studies on socio-cognitive processes.

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions.

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS).

?rst-class data with coordination primitives.

CBSE 2005, "Software Components at Work," was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices.