A transformational approach to generic software development based on higher order typed functional signatures Die vorliegende Dissertation beschreibt eine Methode zur Entwicklung generischer Softwarebibliotheken die auf einer Programmtransformation beruht. Genauer werden die Signaturen generischer d.h. Typparametrisierter Funktionen von einer funktionalen Sprache in eine objektorientierte Sprache transformiert. Funktionale Typkonstrukte wie Funktionen höherer Ordnung und Typkonstruktoren werden dabei auf Typparameter abgebildet wobei diese mit so genannten Begriffen spezifiziert werden. Die vorgestellte Methode ist zum einen unabhängig von spezifischen Programmiersprachen und kann zum anderen formal abgesichert werden. This thesis introduces a method based on program transformation for developing generic software libraries. More precisely the signatures of generic functions i.e. functions parameterised on types are transformed from a functional language to an object oriented language. Type level functional constructs such as higher order functions and type constructors are mapped to type parameters specified using a mechanism called concepts. The transformation is independent from particular languages and can be formally described.