Software - Concepts & Tools (Springer-Verlag)