Publisher's Synopsis
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fr Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Ablufe, zeitkritisches Antwortverhalten, komplexe Funktionalitt und sehr hohe Qualittsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexitt spielt die Architektur. Sie stellt die Regeln und Methoden fr einen effektiven Systementwurf zur Verfgung, auf dem sich der gesamte Entwicklungsprozess absttzen kann. Dazu gehrt eine vollstndige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausfhrungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezglich Funktionalitt, Marktorientierung, Kosten und Zeit.
