von Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Formal Methods for Software Architectures» ist der von Marco Bernardo und Paola Inverardi herausgegebene Konferenzband, in Taschenbuch, veröffentlicht von Springer.
Softwarearchitektur ist zentral für die Entwicklung komplexer Systeme geworden und wird von der Anforderungsanalyse bis zur Ausführung angewendet. Dieser Band vereint Tutorial-Vorlesungen über formale Methoden: Modellierung und Analyse von Komponenten und Konnektoren, korrektes Zusammensetzen, Evolution, mobiles Rechnen, Leistung und Verlässlichkeit.
Band 2804 der Reihe Lecture Notes in Computer Science. Entspricht der Dritten Internationalen Schule SFM 2003, abgehalten in Bertinoro (Italien) im September 2003.
Gedacht für Studierende fortgeschrittener Softwarearchitektur-Kurse und für Ingenieure, die formale Techniken in ihrer täglichen Arbeit einsetzen.
Tapa blanda
Tapa blanda
