Bücher der Reihe Programming and Software Engineering

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

This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.

and memory.The chapters 'A Case Study on Addressing Complex Load Imbalance in OpenMP' and 'A Study of Memory Anomalies in OpenMP Applications' are available open access under a Creative Commons Attribution 4.0 License via link.springer.com.

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A'quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions.

This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020.

This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in the field of software engineering foundations and applications with a focus on novel approaches for engineering requirements, design and architectures, testing, maintenance and evolution, model-driven development, software processes, metrics, quality assurance and new software economics models, search-based software engineering, benefiting day-to-day services sectors and derived through experiences, with appreciation to scale, pragmatism, transparency, compliance and/or dependability.

This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of SCF 2020 in Honolulu, HI, USA in September 2020.. The 8 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 20 submissions.

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering

This book constitutes the thoroughly refereed post-conference proceedings of the 10th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2018, held in conjunction with the 44th International Conference on Very Large Databases (VLDB 2018) in August 2018.The 10 papers presented were carefully reviewed and selected from numerous submissions.The TPC encourages researchers and industry experts to present and debate novel ideas and methodologies in performance evaluation, measurement, and characterization.

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.

This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity;

Software.- Services Computing.- Web Services.- Software Engineering.- Software System Structure.- Software Infrastructure- E-Commerce Infrastructure.- Software Development Techniques.- Designing Software.

This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020. The 13 research papers and 5 short papers presented together with 1 keynote were carefully reviewed and selected from 34 submissions.

This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020. smart data and smart services;

Conceptual Modeling Meets Artificial Intelligence and Data-Driven Decision Making (CMAI) 2020.- How to Induce Trust in Medical AI Systems.- Towards Automated Support for Conceptual Model Diagnosis and Repair.- Superimposition: Augmenting Machine Learning Outputs with Conceptual Models for Explainable AI.- Evaluating Tree Explanation Methods for Anomaly Reasoning: A Case Study of SHAP TreeExplainer and TreeInterpreter.- Conceptual Modeling for Life Sciences (CMLS) 2020.- The Importance of the Temporal Dimension in Identifying Relevant Genomic Variants: a Case Study.- Towards the Generation of a Species-Independent Conceptual Schema of the Genome.- Conceptual Human Emotion Modeling (HEM).- Towards an Ontology for Tertiary Bioinformatics Research Process.- Using BioPAX-Parser (BiP) to annotate lists of biological entities with pathway data.- Relational Text-type for Biological Sequences.- Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable and Reusable (FAIR) Data (CMOMM4FAIR) 2020.- Mapping the Web Ontology Language to the OpenAPI Specification.- Evaluating FAIRness of Genomic Databases.- Reusable FAIR Implementation Pro les as Accelerators of FAIR Convergence.- Conceptual Modeling for NoSQL Data Stores (CoMoNoS) 2020.- Deimos: A Model-based NoSQL Data Generation Language.- Managing Physical Schemas in MongoDB Stores.- JSON Schema Inference Approaches.- Empirical Methods in Conceptual Modeling (EmpER) 2020.- Empirical evaluation of a new DEMO modelling tool that facilitates model transformations.- Acquiring and sharing the monopoly of legitimate naming in organizations, an application in conceptual modeling.- Replicability and Reproducibility of a Schema Evolution Study in Embedded Databases.- Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.- Experimental practices for measuring the intuitive comprehensibility of modeling constructs: an example design.

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions.

This book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2019, held in Moscow, Russia, in October 2019.

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.