Software Engineering

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.

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

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.

This book constitutes the refereed proceedings of the Forth Workshop onEngineering Applications, WEA 2017, held in Cartagena, Colombia, inSeptember 2017.

The two-volume set IFIP AICT 513 and 514 constitutes the refereed proceedings of the International IFIP WG 5.

The two-volume set IFIP AICT 513 and 514 constitutes the refereed proceedings of the International IFIP WG 5.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.