Software Engineering

This volume constitutes the proceedings of the 11th International Conference on Intelligent Human Computer Interaction, IHCI 2019, held in Allahabad, India, in December 2019.

This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling languages.

This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019.

This book constitutes extended selected papers from the 17th Conference on Advanced Information Technologies for Management, AITM 2019, and the 14th Conference on Information Systems Management, ISM 2019, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Leipzig, Germany, in September 2019.

This book constitutes the proceedings of the 16th International Symposium on Applied Reconfigurable Computing, ARC 2020, held in Toledo, Spain, in April 2020.

This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020.

This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as "e;settled knowledge"e; (extracted from historic repositories) for inclusion into such a handbook, and the "e;assembly"e; of such identified knowledge into a form which is fit for the purpose and conforms to the formal characteristics of handbooks as a "e;literary genre"e;.

This book constitutes the refereed proceedings of the 18th International Conference on Information Security, ISSA 2019, held in Johannesburg, South Africa, in August 2019.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, Germany, in March 2020.

This book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May 2019.

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.

This book constitutes the refereed proceedings of the 21th International Conference on Information and Communications Security, ICICS 2019, held in Beijing, China, in December 2019.

This book constitutes the revised selected papers from the 14th International Conference on Risks and Security of Internet and Systems, CRiSIS 2019, held in Hammamet, Tunisia, in October 2019.

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019.

This book constitutes the proceedings of the 7th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in April 2020.

This book constitutes the refereed post-conference proceedings of the 16th IFIP WG 5.

Modern businesses depend on data for their very survival, creating a need for sophisticated databases and database technologies to help store, organise and transport their valuable data.

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development system DjDSL.

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2019, the Third International Workshop on Security and Privacy Requirements Engineering, SECPRE 2019, the First International Workshop on Security, Privacy, Organizations, and Systems Engineering, SPOSE 2019, and the Second International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019.

This book brings together two important trends: graph algorithms and high-performance computing.

This book serves as both a textbook and handbook on the benchmarking of systems and components used as building blocks of modern information and communication technology applications.

This first volume of the three-volume set (CCIS 1193, CCIS 1194, and CCIS 1195) constitutes the refereed proceedings of the First International Conference on Applied Technologies, ICAT 2019, held in Quito, Ecuador, in December 2019.

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.

This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in Sao Paulo, Brazil, in October 2018.

This book constitutes the refereed proceedings of the 6th Latin American High Performance Computing Conference, CARLA 2019, held in Turrialba, Costa Rica, in September 2019.

This book covers a range of basic and advanced topics in software engineering.

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.

This book constitutes the proceedings of the Second International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2019, held in Luxembourg, in September 2019.

This book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical in nature.

This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2019.

The book provides a broad introduction to both the theory and the application of optimization with a special emphasis on the elegance, importance, and usefulness of the parametric self-dual simplex method.

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Chateau de Villebrumier, France, in May 2019.

This book constitutesselected, revised and extended papers of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May 2019.

This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2020, CT-RSA 2020, held in San Francisco, CA, USA, in February 2020.

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.

This book constitutes extended, revised and selected papers from the 21st International Conference on Enterprise Information Systems, ICEIS 2019, held in Heraklion, Crete, Greece, in May 2019.

This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent Systems, MDIS 2019, held in Sibiu, Romania, in October 2019.

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020.

This book provides the reader with a comprehensive knowledge of all the tools provided in the software SOLIDWORKS for a variety of engineering areas.

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.

This book constitutes the refereed proceedings of the First International Conference on Applied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held in Ramadi, Iraq, in September 2019.

This book constitutes the revised selected papers of the 14th International Conference on Critical Information Infrastructures Security, CRITIS 2019, held in Linkoping, Sweden, in September 2019.

This book constitutes revised selected papers from the 3rd International Conference on Lean and Agile Software Development, LASD 2019, and the 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, which took place under the umbrella of the 14th Federated Conferences on Computer Science and Information Systems, FedCSIS, in Leipzig, Germany, in September 2019.

This book constitutes the refereed proceedings of the 20th International Conference on Innovations for Community Services, I4CS 2020, held in Bhubaneswar, India, in January, 2020.

This book constitutes the proceedings of the 5th Iberoamerican Workshop on Human-Computer Interaction, HCI-Collab 2019, held in Puebla, Mexico, in June 2019.

This book constitutes the refereed proceedings of the 23rd International IFIP conference on Optical Network Design and Modeling, ONDM 2019, held in Athens, Greece, in May 2019.