Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Ablaufe, zeitkritisches Antwortverhalten, komplexe Funktionalitat und sehr hohe Qualitatsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexitat spielt die Architektur. Sie stellt die Regeln und Methoden fur einen effektiven Systementwurf zur Verfugung, auf dem sich der gesamte Entwicklungsprozess abstutzen kann. Dazu gehort eine vollstandige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausfuhrungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezuglich Funktionalitat, Marktorientierung, Kosten und Zeit."