Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
During the last decades software architecture has become increasingly important for companies creating competitive product structures. Recently more and more attention has also be...
Abstract. Following the successful trend of open source, companies can be observed to open their innovation and development processes towards interested and capable partners inside...
Kathrin M. Moeslein, Angelika C. Bullinger, Jens S...
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
In SMP clusters it is not always convenient to switch from pure message-passing code to hybrid software designs that exploit shared memory. This paper tackles the problem of restru...