Software-Entwicklung für Kommunikationsnetze

این کتاب اصول و روش های توسعه نرم افزار برای شبکه های ارتباطی را بر اساس تجربیات عملی تعدادی از پروژه های نرم افزاری پوشش می دهد. از ویژگی‌های خاص این نرم‌افزار می‌توان به فرآیندهای موازی، رفتار پاسخ به زمان بحرانی، عملکرد پیچیده و الزامات کیفیت بسیار بالا اشاره کرد. معماری نقش کلیدی در کنترل پیچیدگی نرم افزار ایفا می کند. این قوانین و روش‌هایی را برای طراحی مؤثر سیستمی ارائه می‌کند که کل فرآیند توسعه را می‌توان بر اساس آن استوار کرد. این شامل یک روش مشخصات کامل بر اساس یک زبان رسمی است که معنای آن با ویژگی‌های معمول نرم‌افزار ارتباطی همسو می‌شود. تمرکز توضیحات، انطباق توسعه نرم افزار با نیازهای روزافزون از نظر عملکرد، بازارگرایی، هزینه ها و زمان است.

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.