Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.weiterlesen