Broy | Logische und Methodische Grundlagen der Entwicklung verteilter Systeme | Buch | 978-3-662-67316-4 | sack.de

Buch, Deutsch, 460 Seiten, Format (B × H): 168 mm x 240 mm, Gewicht: 792 g

Reihe: Lehrbuch

Broy

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Unter Mitarbeit von Alexander Malkis
1. Auflage 2023
ISBN: 978-3-662-67316-4
Verlag: Springer

Unter Mitarbeit von Alexander Malkis

Buch, Deutsch, 460 Seiten, Format (B × H): 168 mm x 240 mm, Gewicht: 792 g

Reihe: Lehrbuch

ISBN: 978-3-662-67316-4
Verlag: Springer




Broy Logische und Methodische Grundlagen der Entwicklung verteilter Systeme jetzt bestellen!

Zielgruppe

Graduate

Autoren/Hrsg.

Broy, Manfred

Fachgebiete

Weitere Infos & Material

Einführung in Grundlagen der Systementwicklung: Verteilte, nebenläufige, interaktive Systeme.- Zustandsbasierte Systemmodelle.- Systeme als Zustandsmaschinen, attribuierte Zustandsräume.- Interaktion, Verteilung, Zeit, Schnittstellensicht für interaktive Systeme.- Komposition, Struktur- und Verteilungssicht, Zeitmodellierung.- Prozesse, synchroner Nachrichtenaustausch und Verfeinerung, Ablaufsicht.

Manfred Broy leitete an der Technischen Universität München den Lehrstuhl Software & Systems Engineering. Er gründete 2009 das Forschungsinstitut für angewandte Forschungstechnik fortiss. Seit 2016 ist er Gründungspräsident des Zentrums Digitalisierung. Bayern. Seine wissenschaftlichen Arbeiten, die diesem Buch zugrunde liegen, zielen auf die formale Fundierung der Konzepte und Methoden des Softwareengineerings als Basis für eine fundierte Entwicklung von Programmsystemen.

Alexander Malkis ist ein internationaler Forscher im Bereich „formale Methoden“ mit Fokus auf Verifikation, Programmanalyse und Nebenläufigkeit. Sein Forschungsziel besteht darin, Methoden zur Steigerung von Sicherheit, Zuverlässigkeit und Vertrauenswürdigkeit nebenläufiger Programme, Architekturen und Systeme zu entwickeln.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.