In many enterprises, the number of deployed applications is constantly increasing. Those applications - often several hundreds - form large software landscapes.

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June

The book is a collection of high-quality research papers presented at Intelligent Communication Technologies and Virtual Mobile Networks (ICICV), held at Franci

Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overvi

Collaboration among individuals – from users to developers – is central to modern software engineering. It takes many forms: joint activity to solve common