Eine gute Separierung der verschiedenen Aspekte eines Programms ist der Schlüssel, um mit wachsender Komplexität umzugehen. Die wichtigste Aufgabe, die Programmiersprachen in Bezug auf dieses Ziel erfüllen sollten, ist, Mittel zur Verfügung zu stellen, um die mentalen Modelle der Domainexperten so direkt wie möglich in der Programmiersprache auszudrücken zu können. Seit dem Anbruch der `Strukturierten Programmierung' bieten Programmiersprachen Modulkonstrukte für hierarchische Modelle: Wir können ein Softwaresystem auf unterschiedlichen Abstraktionsebenen betrachten, je nachdem, ob wir nur die Schnittstelle eines Moduls oder auch seine Implementation und die Schnittstellen/Implementierungen der nächsten tieferliegenden Module betrachten. Die Möglichkeit, ein Softwaresystem auf unterschiedlichen Detailebenen zu betrachten und zu implementieren, hat die Qualität von Software entscheidend verbessert. Eine wichtige Erkenntnis der vergangenen Jahre war die Identifizierung von sogenannten crosscutting concerns oder querschneidenden Aspekten - Aspekte, die in einer gegebenen Modulstruktur oder simultan mit anderen Aspekten im Programmtext nicht lokalisiert werden können. Erste Programmiersprachen mit expliziter Unterstützung für `crosscutting concerns' wurden bereits entwickelt, doch dieser Forschungszweig ist noch im Entstehen. Dies ist der Kontext, in dem diese Arbeit versucht, den gegenwärtigen Stand der Technik zu verbessern. Basierend auf dem erfolgreichsten Paradigma für die Separierung von Aspekten, objekt-orientierter Programmierung, werden drei Ansätze beschrieben, die die konventionellen Konzepte für Modularisierung und Komposition in Bezug auf hierarchische und querschneidende Aspekte verbessern. Die ersten beiden Ansätze behandeln Module für hierarchische Modelle. Zunächst geht die Arbeit zurück zu den Grundlagen der objekt-orientierten Programmierung und untersucht die Beziehung zwischen den beiden fundamentalen objekt-orientierten Konzepten für hierarchische Zerlegung: Vererbung und Aggregation. Es gibt eine wohlbekannte Spannung zwischen diesen beiden Konzepten: Vererbung ermöglicht inkrementelle Spezifikation, während Aggregation polymorphe Komposition zur Laufzeit ermöglicht. Häufig jedoch benötigt man eine Mixtur der Eigenschaften von Aggregation und Vererbung. Ein Modell names Compound References wird vorgeschlagen. Eine Compound Reference ist eine neue Abstraktion für Objektreferenzen, die Aggregation, Vererbung und Delegation vereinheitlicht und explizite Sprachunterstützung dafür bietet, deklarativ je nach Bedarf gewünsche Kompositionseigenschaften festzulegen. Im zweiten Ansatz geht es darum, wie die Mittel für hierarchische Dekomposition verallgemeinert werden können, um auch auf Mengen zusammenarbeitender Klassen zu arbeiten. Dies wird durch die Beobachtung motiviert, daß ein Modul, das das Verhalten mehrerer zusammenarbeitender Abstraktionen definiert, eine besser wiederverwendbare Organisationseinheit ist als einzelne Klassen. Unterschiedliche Techniken und Spracherweiterungen wurden bereits vorgeschlagen, um solche Module in Programmiersprachen ausdrücken zu können, doch keiner dieser Vorschläge passt vollständig in den konzeptuellen Rahmen der objekt-orientierten Programmierung. Delegation Layers sind ein neuer Ansatz, um mit diesem Problem umzugehen. In diesem Ansatz werden die objekt-orientierten Mechanismen für einzelne Objekte, zum Beispiel Delegation, späte Bindung und Subtyp-Polymorphie, auf Mengen zusammenarbeitender Klassen verallgemeinert. Der dritte Ansatz dieser Arbeit behandelt Sprachkonzepte zur Repräsentation von querschneidenden Modellen. Mit `querschneidenden Modellen' sind unabhängige Modelle gemeint, die unterschiedliche, sich überschneidende Sichten auf ein gemeinsames System repräsentieren. Ein querschneidender Aspekt wird als Aspekt gesehen, der zu einem anderen querschneidenden Modell gehört. Wenn diese querschneidenden Modelle unabhängig voneinander gehalten werden, wird es möglich, jeden Aspekt getrennt von den anderen zu behandeln. Das Caesar Modell wird vorgeschlagen, in dem die in den vorherigen Teilen vorgeschlagenen Ideen für hierarchische Dekomposition benutzt und erweitert werden, um die Repräsentation und Kombination unabhängiger querschneidender Modelle zu ermöglichen. Die Stärken von Caesar liegen in der Wiederverwendbarkeit und Komponentisierung von Aspekten sowie in der Möglichkeit, Aspekte polymorph zu benutzen. Das Konzept der Aspekt-Polymorphie wird als Verallgemeinerung der Subtyp-Polymorphie auf querschneidende Modelle eingeführt, und ein neues Konzept für den dynamisches Einsatz von Aspekten wird vorgeschlagen.