Die LNCS-Zeitschrift Transactions on Aspect-Oriented Software Development widmet sich allen Facetten der aspektorientierten Softwareentwicklung (AOSD) im Kontext aller Phasen des Softwarelebenszyklus, von den Anforderungen und dem Design über die Implementierung bis hin zu Wartung und Evolution. Der Schwerpunkt der Zeitschrift liegt auf Ansätzen zur systematischen Identifikation, Modularisierung, Darstellung und Komposition von querliegenden Belangen, d.h. den Aspekten, sowie der Bewertung solcher Ansätze und deren Einfluss auf die Verbesserung der Qualitätsmerkmale von Softwaresystemen. Dieser Band, der 11. in der Reihe Transactions on Aspect-Oriented Software Development, besteht aus zwei Teilen. Der erste Teil konzentriert sich auf die Laufzeitverifikation und -analyse und hebt die Laufzeitverifikation als eine "Killer"-Anwendung der Aspektorientierung hervor. Der zweite Teil enthält überarbeitete und erweiterte Versionen der fünf besten Beiträge, die für Modularity: AOSD 2013 eingereicht wurden, und präsentiert aktuelle Forschungen zur Modularität, die Themen wie formale Methoden und Typsysteme, statische Analyseansätze für Softwarearchitekturen, modellgetriebene Entwicklung und Modellkomposition, aspektorientierte Programmierung, ereignisgesteuerte Programmierung und reaktive Programmierung abdecken.