Software Engineering

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.

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.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the First International Workshop on AlgorithmicAspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, inSeptember 2015 in conjunction with ALGO 2015.

Distinguishingbetween tangible user interfaces (TUI) and tangible interactive systems (TISs),this book takes into account not only the user interfaces but also looks at howinteraction can be enabled by using digital information through the physicalenvironment.

This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016.

This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macroscopic views to meso- and microscopic ones.

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, Czech Republic, in October 2015.

Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015.

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Cloud Computing and Services Science, CLOSER 2015, held in Lisbon, Portugal, in May 2015.