Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
E-learning materials development is typically acknowledged as an expensive, complicated, and lengthy process, often producing materials that are of low quality and difficult to ad...
Abstract - In this paper we address a question highly relevant for many companies developing and implementing ERP or other software internationally. These companies have to integra...