Bøker i Programming and Software Engineering-serien

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 tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009.

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.

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions.

This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning;

This book constitutes the refereed post-conference proceedings of the 12th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2020, held in August 2020.The 8 papers presented were carefully reviewed and cover the following topics: testing ACID compliance in the LDBC social network benchmark;

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK. The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book.

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions.

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions.