Software 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.

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.

The BIRS Workshop "e;Advances in Interactive Knowledge Discovery and Data Mining in Complex and Big Data Sets"e; (15w2181), held in July 2015 in Banff, Canada, was dedicated to stimulating a cross-domain integrative machine-learning approach and appraisal of "e;hot topics"e; toward tackling the grand challenge of reaching a level of useful and useable computational intelligence with a focus on real-world problems, such as in the health domain.

This book constitutes the refereed proceedings of the 46th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2017, held in Magaliesburg, South Africa, in July 2017.

Architectural coordination of enterprise transformation (ACET) integrates and aggregates local information and provides different viewpoints, such as financial, structural, or skill perspectives to the respective stakeholder groups, with the aim of creating a consensus and shared understanding of an enterprise transformation among the stakeholders.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.

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.

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.

This book includes a selection of papers from the 2017 International Conference on Software Process Improvement (CIMPS'17), presenting trends and applications in software engineering.

This book constitutes the refereed proceedings of the 8th International Conference on Software Business, ICSOB 2017, held in Essen, Germany, in June 2017.

This book focuses on innovative strategies to manage and build software systems for generating new knowledge from large archaeological data setsThe book also reports on two case studies carried out in real-world scenarios within the Cultural Heritage setting.

This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.

This book constitutes the proceedings of the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in malaga, Spain, in November 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.

The two-volume set LNCS 10569 and LNCS 10570 constitutes the proceedings of the 18th International Conference on Web Information Systems Engineering, WISE 2017, held in Puschino, Russia, in October 2017.

The two-volume set LNCS 10569 and LNCS 10570 constitutes the proceedings of the 18th International Conference on Web Information Systems Engineering, WISE 2017, held in Puschino, Russia, in October 2017.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.

This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017.

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis.

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.

This book constitutes the refereed proceedings of the 8th InternationalConference on Computational Logistics, ICCL 2017, held in Southampton,UK, in October 2017.

This volume constitutes the refereed post-conference proceedings of the First IFIP TC 5 DCDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016, held in Sofia, Bulgaria, in November 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Similarity Search and Applications, SISAP 2017, held in Munich, Germany, in October 2017.

This book is a comprehensive introduction into Organic Computing (OC), presenting systematically the current state-of-the-art in OC.

The books in this trilogy capture the foundational core of advanced informatics.

In recent decades, the number of satellites being built and launched into Earth's orbit has grown immensely, alongside the field of space engineering itself.

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017.

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

This book constitutes the proceedings of the 14th IFIP WG 10.

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017.

This book constitutes the thoroughly refereed proceedings of the 13th Biennial Conference, KogWis 2016, held in Bremen, Germany, in September 2016, and the 10th International Conference, Spatial Cognition 2016, held in Philadelphia, PA, USA, in August 2016.

This book constitutes the refereed proceedings of the 13th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2017, held in Essen, Germany, in June 2017.

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.

This book constitutes the proceedings of the 13th International Workshop on Security and Trust Management, STM 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium Research in Computer Security, ESORICS 2017.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017.

This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

This book constitutes the refereed proceedings of the 23nd International Conference on Information and Software Technologies, ICIST 2017, held in Druskininkai, Lithuania, in October 2017.

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016.

This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline.

This book constitutes the refereed proceedings of the 8th International Workshop on Machine Learning in Medical Imaging, MLMI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017.

This book constitutes the refereed proceedings of the 17th International Conference on Software Process Improvement and Capability Determination, SPICE 2017, held in Palma de Mallorca, Spain, in October 2017.

This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017.

Conceptual modeling has always been one of the main issues in information systems engineering as it aims to describe the general knowledge of the system at an abstract level that facilitates user understanding and software development.