Software Engineering

This book constitutes the thoroughly refereed conferenceproceedings of the Third International Workshop on Risk Assessment andRisk-driven Testing, RISK 2015, held in conjunction with the OMG TechnicalMeeting in Berlin, Germany, in June 2015.

This book constitutes the refereed proceedings of the 7th International Work-Conference on Ambient Assisted Living, IWAAL 2015, held in Puerto Varas, Chile, in December 2015.

This book constitutes the refereed proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2015, held in Kyoto, Japan, in November 2015.

This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.

This book contains a selection of papers from The 2015 International Conference on Software Process Improvement (CIMPS'15), held between the 28th and 30th of October in Mazatlan, Sinaloa, Mexico.

This two volume set LNCS 9418 and LNCS 9419 constitutesthe proceedings of the 16th International Conference on Web Information SystemsEngineering, WISE 2015, held in Miami, FL, USA, in November 2015.

This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015.

This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015.

The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects.

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2015, Ontologies, Databases, and Applications of Semantics, ODBASE 2015, and Cloud and Trusted Computing, C&TC, held as part of OTM 2015 in October 2015 in Rhodes, Greece.

This volume constitutes the refereed proceedings of the following 8 International Workshops: OTM Academy; OTM Industry Case Studies Program; Enterprise Integration, Interoperability, and Networking, EI2N; International Workshop on Fact Based Modeling 2015, FBM; Industrial and Business Applications of Semantic Web Technologies, INBAST; Information Systems, om Distributed Environment, ISDE; Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society, META4eS; and Mobile and Social Computing for collaborative interactions, MSC 2015.

This book explores how agile development practices, in particular pair programming, code review and automated testing, help software development teams to perform better.

In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and opens up a novel and promising avenue of a comprehensive analysis and advanced design of software artifacts.

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

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

This volume constitutes the proceedings of the 8th IFIP WG 8.

The work on Autonomic Road Transport Support (ARTS) presented here aims at meeting the challenge of engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the disciplines of traffic engineering and autonomic computing.

This book constitutes the refereed proceedings of sevenworkshops and a symposium, held at the 34th International Conference onConceptual Modeling, ER 2015, in Stockholm, Sweden.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015.

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015.

The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles.

This book constitutes the thoroughly refereed proceedings of the9th International Joint Conference on Software Technologies, ICSOFT 2014, heldin Vienna, Austria, in August 2014.

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015.

This book constitutes the proceedings of the 18thInternational Conference on Principles and Practice of Multi-Agent Systems,PRIMA 2015, held in Bertinoro, Italy, in October 2015.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, held in Barcelona, Spain, in April 2014.

This comprehensive and stimulating introduction to Matlab, a computer language now widely used for technical computing, is based on an introductory course held at Qian Weichang College, Shanghai University, in the fall of 2014.

This book examines how and why collaborative quality assurance techniques, particularly pair programming and peer code review, affect group cognition and software quality in agile software development teams.

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.

This book presents new concepts as well as practical applications and experiences in the field of information technology for environmental engineering.

This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.

This book constitutes the refereed proceedings of the First International Conference on Dynamic Data-Driven Environmental Systems Science, DyDESS 2014, held in Cambridge, MA, USA, in November 2014.

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.

This book constitutes the thoroughly refereed post-conference proceedings of Current Trends in Web Engineering, ICWE Workshops 2015 which was held in June 2015 in Rotterdam, The Netherlands.

This book constitutes the refereed proceedings of the 21th International Conference on Information and Software Technologies, ICIST 2015, held in Druskininkai, Lithuania, in October 2015.

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

This volume constitutes the refereed proceedings of the 22st EuroSPI conference, held in Ankara, Turkey, in September/October 2015.

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

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.

This book constitutes the refereed proceedings of theSecond International Conference on Data Science, ICDS 2015, held in Sydney,Australia, during August 8-9, 2015.

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.

This book constitutes the refereed proceedings of two joint events: the 25th International Workshop on Software Measurement (IWSM) and the 10th International Conference on Software Process and Product Measurement (Mensura), referred to as IWSM-Mensura 2015 and held in Krakow, Poland, in October 2015.

This book constitutes the refereed proceedings of the 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015.

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014.

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015.

Infotext: This book constitutes the refereed proceedings of the 4th European Conference on Service-Oriented and Cloud computing, ESOCC 2015, held in Taormina, Sicily, Italy, in September 2015.

This Festschrift volume is published in honor of Professor Paul G.

This book opens the "e;black box"e; of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes.

This book constitutes the thoroughly refereedpost-workshop proceedings of the 4th International Workshop on Environments forMultiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May2014 as an associated event of AAMAS 2014, the 13th International Conference onAutonomous Agents and Multiagent Systems.