Software Engineering

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers.

This book constitutes the refereed proceedings of the 13th International Conference on Ad-hoc, Mobile and Wireless Networks, ADHOC-NOW 2014, held in Benidorm, Spain, in June 2014.

The prediction of behavior of complex systems, analysis and modeling of its structure is a vitally important problem in engineering, economy and generally in science today.

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

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014.

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Risk Assessment and Risk-driven Testing, RISK 2013, held in conjunction with 25th IFIP International Conference on Testing Software and Systems, ICTSS 2013, in Istanbul, Turkey, in November 2013.

This volume presents the revised and peer reviewed contributions of the 'ERP Future 2013' conference held in Vienna/Austria on November 12-13th, 2013.

This book contains the refereed proceedings of the 15th International Conference on Agile Software Development, XP 2014, held in Rome, Italy, in May 2014.

This book constitutes the revised selected papers of the workshops of the 11th International Conference on Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013.

Design thinking as a user-centric innovation method has become more and more widespread during the past years.

This book contains the extended and revised versions of selected papers from the Third International Symposium on Business Modeling and Software Design (BMSD 2013), held in Noordwijkerhout, The Netherlands, during July 8-10, 2013.

The aim of this book is to explain to high-performance computing (HPC) developers how to utilize the Intel(R) Xeon Phi(TM) series products efficiently.

Petri nets are a formal and theoretically rich model for the modelling and analysis of systems.

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014.

This book constitutes the thoroughly refereed post conference proceedings of the 4th International Conference on Cloud Computing, Cloud Comp 2013, held in Wuhan, China, in October 2013.

This textbook describes the approaches used by software engineers to build quality into their software.

This book constitutes the thoroughly refereed scientific proceedings of the 6th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2014, held in Eichstatt, Germany, in April 2014.

This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2014.

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014.

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013.

This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014.

Aligning an organization's goals and strategies requires specifying their rationales and connections so that the links are explicit and allow for analytic reasoning about what is successful and where improvement is necessary.

By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user's situational needs and interact with other services or resources in their environment on an ad-hoc basis.

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

This work is the definitive guide for IT managers and agile practitioners.

This book constitutes the refereed post-conference proceedings of the 44th International Simulation and Gaming Association Conference, ISAGA 2013, and the IFIP WG 5.

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014.

This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, in February 2014.

Service science constitutes an interdisciplinary approach to systematic innovation in service systems, integrating managerial, social, legal and engineering aspects to address the theoretical and practical challenges of the service industry and its economy.

This book constitutes the refereed proceedings of the 11th European Conference on Wireless Sensor Networks, EWSN 2014, held in Oxford, UK, in February 2014.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012.

This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014.

Are you attracted by the promises of agile methods but put off by the fanaticism of many agile texts?

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Novy Smokovec, Slovakia, in January 2014.

This book presents and discusses the state of the art and future trends in software engineering education.

This book takes a fresh look at biometrics and identity management, extending the dialogue beyond technical considerations, and exploring some of the broader societal and philosophical aspects surrounding the use of biometric applications.

?

This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages.

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013.

This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby.

This two volume set LNCS 8285 and 8286 constitutes the proceedings of the 13th International Conference on Algorithms and Architectures for Parallel Processing , ICA3PP 2013, held in Vietri sul Mare, Italy in December 2013.

This book constitutes the thoroughly refereed post conference proceedings of the Third International Conference on Cloud Computing, Cloud Comp 2012, held in Vienna, Austria, in September 2012.

This book constitutes the refereed proceedings of the 6th International Workshop on Multiple Access Communications, MACOM 2013, held in Vilnius, Lithuania, in December 2013.

This two volume set LNCS 8285 and 8286 constitutes the proceedings of the 13th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2013, held in Vietri sul Mare, Italy in December 2013.

This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013.

Software effort estimation is one of the oldest and most important problems in software project management, and thus today there are a large number of models, each with its own unique strengths and weaknesses in general, and even more importantly, in relation to the environment and context in which it is to be applied.

This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014.

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013.