Software Engineering

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.

This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2016, held in Seoul, Korea, in May 2016.

This book constitutes the refereed proceedings of the 16th International Conference on Software Process Improvement and Capability Determination, SPICE 2016, held in Dublin, Ireland, in June 2016.

This book constitutes the proceedings of the 6th International Conference on Cloud Computing, CloudComp 2015, held in Daejeon, South Korea, in October 2015.

There are two different, interdependent components of IT that are important to a CIO: strategy, which is long-term; and tactical and operational concerns, which are short-term.

This book constitutes the refereed proceedings of the 16th International Conference on Web Engineering, ICWE 2016, held in Lugano, Switzerland, in June 2016.

This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.

Thorough and continuous architecting is the key to overall success in software engineering, and architecture evaluation is a crucial part of it.

This book is by far the most systematic and comprehensive review of the field of automated software composition.

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

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 presents a comprehensive, structured, up-to-date survey on instruction selection.

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.

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

This book presents a variant of UML that is especially suitable for agile development of high-quality software.

This edited book presents scientific results of the 14th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2016) held on June 8-10, 2016 at Towson University, USA.

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.

This volume constitutes the thoroughly refereed post-conference proceedings of the First EAI International Summit, Smart City 360(deg), held in Bratislava, Slovakia and Toronto, ON, Canada, in October 2015.

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016.

This book addresses the question of how to achieve social coordination in Socio-Cognitive Technical Systems (SCTS).

This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.

This volumeis a comprehensive collection of extended contributions from the fourthinternational symposium on Modeling and Implementing Complex Systems(MICS 2106) organized into four main topics: Networking and Cloud Computing,Software Engineering and Formal Methods, Intelligent and Information Systems,and Algorithms and Complexity.

This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary.

This volume contains the technical papers presented in the seven high-quality workshops associated with the European Conference on Service-Oriented and Cloud Computing, ESOCC 2015, held in Taormina, Italy, in September 2015: Third International Workshop on Cloud for IoT (CLloT 2015), 5th International Workshop on Adaptive Services for the Future Internet (WAS4FI 2015), Second Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaClouds 2015), First International Workshop on Cloud Adoption and Migration (CloudWay 2015), First International Workshop on Digital Enterprise Architecture and Engineering (IDEA 2015), First Workshop on Federated Cloud Networking (FedCloudNet 2015).

This book contains the refereed proceedings of the 7th International Conference on Exploring Service Science (IESS), held in Bucharest, Romania, in May 2016.

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.

This book examines the possibilities of incorporating elements of user-centred design (UCD) such as user experience (UX) and usability with agile software development.

This two-volume-set (LNCS 9573 and 9574) constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.

This two-volume set LNCS 9573 and LNCS 9574 constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.

The book athand gives an overview of the state of the art research in ComputationalSustainability as well as case studies of different application scenarios.

This book analyses quantitative open source software (OSS)reliability assessment and its applications, focusing on three major topicareas: the Fundamentals of OSS Quality/Reliability Measurement and Assessment;the Practical Applications of OSS Reliability Modelling; and RecentDevelopments in OSS Reliability Modelling.

Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Munster, Germany, in April2016.

This book focuses on the design, development, management, governance and application of evolving software processes that are aligned with changing business objectives, such as expansion to new domains or shifting to global production.

This bookconstitutes the thoroughly refereed post-conference proceedings of the 16thInternational Workshop on Multi-Agent-Based Simulation, MABS 2015, held inIstanbul, Turkey, in May 2015.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015.

A concise reference to the state of theart in systems interoperability, EnterpriseInteroperability VII will be of great value to engineers and computerscientists working in manufacturing and other process industries and tosoftware engineers and electronic and manufacturing engineers working in theacademic environment.

This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him.

This book addresses a key issue in today's society: the safer transport of dangerous goods, taking into account people, the environment and economics.

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016.

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.

This book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016.

This book presents a proposal for designing business process management (BPM) systems  that comprise much more than just process modelling.

Computational Literacy for the Humanities provides an introduction to mathematics and programming that is specifically designed for use by those engaged in the humanities.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.

This book constitutes the thoroughly refereedproceedings of the 10th International Conference on Evaluation of NovelApproaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, inApril 2015.

This bookpresents some of the emerging techniques and technologies used to handle Webdata management.

This bookconstitutes the thoroughly refereed proceedings of the 10th International JointConference on Software Technologies, ICSOFT 2015, held in Colmar, France, inJuly 2015.

This book introduces ongoingreflections within the research community on established information systemsdevelopment topics and emerging concepts, approaches and ideas in the field ofhealthcare information systems.