Skip to main content
SpringerLink
Log in

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Unter Mitarbeit von Alexander Malkis

  • Textbook
  • © 2023

Overview

Authors:
  1. Manfred Broy

    1. Institut für Informatik I04, Technische Universität München, Garching, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Wesentliche Grundlagen und Methoden der parallelen Programmierung
  • Modelle und Methoden zur Spezifikation, Implementierung und Verifikation vernetzter Systeme
  • Unterschiedliche Ansätze und ihre Querbezüge

  • 7609 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Einführung: Verteilte, nebenläufige und interaktive Systeme

    • Manfred Broy
    Pages 1-35

  3. Zustandsbasierte Systemmodelle

    1. Front Matter

      Pages 37-41
      Download chapter PDF

    2. Zustandssicht: Systeme als Zustandsmaschinen

      • Manfred Broy
      Pages 43-138

    3. Attributierte Zustandsräume und parallele Programme

      • Manfred Broy
      Pages 139-170

  4. Asynchrone Interaktion, Verteilung und Zeit

    1. Front Matter

      Pages 171-177
      Download chapter PDF

    2. Schnittstellen asynchroner interaktiver Systeme

      • Manfred Broy
      Pages 179-233

    3. Asynchrone Systemarchitekturen

      • Manfred Broy
      Pages 235-292

    4. Zeit- und Datenfluss

      • Manfred Broy
      Pages 293-331

  5. Prozesse, synchroner Nachrichtenaustausch und Verfeinerung

    1. Front Matter

      Pages 333-336
      Download chapter PDF

    2. Prozesse als Abläufe verteilter Systeme

      • Manfred Broy
      Pages 339-377

    3. Nachrichtensynchrone Systeme

      • Manfred Broy
      Pages 379-396

    4. Zustands- und Ablaufsicht

      • Manfred Broy
      Pages 397-411

    5. Verfeinerung von Systemen

      • Manfred Broy
      Pages 413-433

  6. Back Matter

    Pages 435-460
    Download chapter PDF
Back to top

Keywords

About this book

Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLAund prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.

Authors and Affiliations

  • Institut für Informatik I04, Technische Universität München, Garching, Deutschland

    Manfred Broy

About the author

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation