Global Software Engineering (icgse) 2017

Editors: Pedrycz, Witold, Succi, Giancarlo, Sillitti, Alberto (Eds.)
Offers introductory chapters on Computational Intelligence so that the volume is made self-contained and easily accessible to the community of Computational Intelligence as well as researchers working in Software Engineering
Each chapter is authored by an expert in the area, and includes a comprehensive and fully updated list of references
The main topics are arranged into five sections: Introduction to Computational Intelligence, Principles of Software Engineering, Methodological developments in CI environment of Software Engineering, Algorithmic studies, and Case studies - a suite of representative areas of applications

This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

This book presents new approaches and methods to solve real-world problems as well as exploratory research describing novel approaches in the field of software engineering and intelligent systems.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

This concise easy-to-follow textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of software projects and one that is being applied more and more extensively.

Rather than deciding whether or not to get involved in global sourcing, many companies are facing decisions about whether or not to apply agile methods in their distributed projects. These companies are often motivated by the opportunities to solve the coordination and communication difficulties associated with global software development. Yet while agile principles prescribe close interaction and co-location, the very nature of distributed software development does not support these prerequisites. Šmite, Moe, and Ågerfalk structured the book into five parts.