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, TLA und
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.
General
Imprint: |
Springer Vieweg
|
Country of origin: |
Germany |
Release date: |
April 2023 |
First published: |
2023 |
Authors: |
Manfred Broy
|
Contributors: |
Alexander Malkis
|
Dimensions: |
240 x 168mm (L x W) |
Pages: |
460 |
Edition: |
1. Aufl. 2023 |
ISBN-13: |
978-3-662-67316-4 |
Categories: |
Books
|
LSN: |
3-662-67316-9 |
Barcode: |
9783662673164 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!