| 书目名称 | Logische und Methodische Grundlagen der Entwicklung verteilter Systeme | | 副标题 | Unter Mitarbeit von | | 编辑 | Manfred Broy | | 视频video | | | 概述 | Wesentliche Grundlagen und Methoden der parallelen Programmierung.Modelle und Methoden zur Spezifikation, Implementierung und Verifikation vernetzter Systeme.Unterschiedliche Ansätze und ihre Querbezü | | 图书封面 |  | | 描述 | 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 Buc | | 出版日期 | Textbook 2023 | | 关键词 | Buch Programmentwicklung; Buch Systementwicklung; Datenstrukturen; funktionale Programmierung; sequenzie | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-67317-1 | | isbn_softcover | 978-3-662-67316-4 | | isbn_ebook | 978-3-662-67317-1 | | copyright | Der/die Herausgeber bzw. der/die Autor(en), exklusiv lizenziert an Springer-Verlag GmbH, DE, ein Tei |
The information of publication is updating
|
|
发表于 2025-3-21 19:24:43
