Die Klassen sind oft zu kleine Einheiten für Modularisierung. In vielen Fällen betrifft ein logisch zusamenhängender Teil der Funktionalität eine Gruppe von zusamenhängenden Klassen. Obwohl die etablierten Sprachen verschiedene Mechanismen zur Gruppierung von Klassen anbieten, zum Beispiel Packages und innere Klassen in Java, werden auf der Ebene solcher Gruppierungen objektorientierten Techniken, wie die Vererbung und die Subtyppolymorphie, nicht unterstützt. Demzufolge müssen die Variationen, die mehreren Klassen betreffen, durch die Variationen der einzelnen Klassen kodiert werden. Solche Kodierungen beeinträchtigen aber die Typsicherheit und erzeugen eine beträchtliche Menge an Glue-Code. Die Hauptthese dieser Dissertation ist, dass die Ermöglichung der objektorientierten Techniken auf der Ebene von Gruppen der Klassen eine bessere Unterstützung für die Modularisierung der Variationen auf dieser Ebene erreicht werden kann. Um die Vererbung und die Subtyppolymorphie für eine Gruppe von Klassen zu ermöglichen, greifen wir auf die Ideen der virtuellen Klassen und der Familienpolymorphie zurück. Die Verwendung von Mehrfachvererbung im großem Umfang wird durch propagierende Mixin-Komposition ermöglicht. In dieser Arbeit zeigen wir die erste Implementierung dieser Ideen für Java und schlagen einige Verbesserungen zu ihrer Semantik vor, nämlich einen intuitiveren Lineasierungsalgorithmus für die propagierende Mixin-Komposition und flexiblere pfadabhängige Typen. Wir führen auch das Konzept der abstrakten vituellen Klassen ein, das die Beschreibung der Schittstellen von Klassfamilien ermöglicht und so die Vorteile der Familienpolymorphie steigert. Außerdem schlagen wir das Konzept der abhängigen Klassen vor, der die virtuellen Klassen analog zur Idee des Multi-Dispatch erweitert. Multi-Dispatch von Klassen ermöglicht nicht nur den Dispatch ihrer Funktionalität durch mehrere Konstruktorparameter, sondern erweitert auch die Familien-Polymorphie um die Möglichkeit, die Zugehörigkeit eines Objekts zu mehreren Familien auszudrücken. Die Machbarkeit des neuen Konzepts wurde in zwei Weisen validiert. Erstens haben wir eine konkrete Programmiersprache mit abhängigen Klassen, DepJ, entworfen und implementiert. Zweitens haben wir die Semantik der abhängigen Klassen durch die Kalküle vc^n und DC_C formalisiert, die dann auf Korrektheit und Entscheidbarkeit verifiziert wurden. Die erwarteten Vorteile der virtuellen und der abhängigen Klassen bezüglich der Implementierung von Variationen werden durch eine Reihe verschiedenen Variationsszenarien überprüft. Wir untersuchen die Variationen sowohl auf der Ebene der einzelner Objekten als auch auf der Ebene der Gruppen von Objekten. Des Weiteren erforschen wir die Interaktionen zwischen verschiedenen Arten von Variationen und untersuchen spezifische Variationsszenarien im Kontext der objektorientierten Frameworks. Wir identifizieren die Probleme mit den Implementierungen solcher Szenarien mit den konventionellen objektorientierten Techniken, und zeigen dass diese Probleme durch die fortgeschrittenen Techniken gelöst werden können. Insbesondere zeigen wir dass die virtuellen Klassen und die propagierende Mixin-Komposition die typische Vorteile der Vererbung für die Implementierung von Variationen auf der Ebene einer Gruppe von Objekten bieten. Die abhängigen Klassen stellen die typischen Vorteile des Multi-Dispatch für die Implementierung von Variationen einer Klasse bereit. Sie erweitern auch die Vorteile der virtuellen Klassen um die Möglichkeit, die Variationen von mehreren einander überlappenden Gruppen von Objekten auszudrücken.