Manfred Broy: Logische und Methodische Grundlagen der Programm- und Systementwicklung
Logische und Methodische Grundlagen der Programm- und Systementwicklung
Buch
- Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis
- Springer Fachmedien Wiesbaden GmbH, 06/2019
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Deutsch
- ISBN-13: 9783658263010
- Bestellnummer: 9153213
- Umfang: 468 Seiten
- Nummer der Auflage: 19001
- Auflage: 1. Aufl. 2019
- Gewicht: 796 g
- Maße: 238 x 169 mm
- Stärke: 32 mm
- Erscheinungstermin: 27.6.2019
Klappentext
Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung anGeht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das:
a) die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.
b) die Implementierung.
c) die Verifikation der Korrektheit.
Um diese Aufgaben zu bewältigen, hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, welche in Manfred Broy und Alexander Malkis Buch Logische und Methodische Grundlagen der Programm- und Systementwicklung übersichtlich zusammengefasst und an praktischen Beispielen erläutert werden.
Um was geht es im Detail?
In ihrem Buch über System- und Programmentwicklung behandeln die Autoren im Kern folgende Themen:
· Algebraische Spezifikationen von Daten- und Rechenstrukturen sowie die Fähigkeit, daraus Eigenschaften abzuleiten
· Die Spezifikation und Implementierung
· Den Nachweis der Korrektheit für funktionale, prozedurale und objektorientierte Programme
Dies schließt unter anderem auch Themen wie Korrektheits- und Terminierungsbeweise, Design-by-Contract und schrittweise Verfeinerung ein.
Mit ihrem Buch Logische und Methodische Grundlagen der Programm- und Systementwicklung gelingt es Broy und Malkis, die wichtigsten Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen zu vermitteln. Das Werk richtet sich deshalb an Studierende aus der Informatik und an Praktiker des Software-Engineering mit Interesse an Grundlagen und Methodik.
Inhalte des Buchs über Programmentwicklung in der Übersicht
· Einführung indie Grundlagen der Softwareentwicklung
· Rechen- und Datenstrukturen
· Algebraische Datenmodellierung
· Funktionale Programmierung
· Anweisungsorientierte, sequenzielle Programmierung
· Referenzen, Zeiger und organisierter Speicher
· Verfeinerung
· Grundlagen der Objektorientierung
· Ausblick: parallel ablaufende, verteilte, kooperierende Systeme
Biografie
Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.Anmerkungen:
Bitte beachten Sie, dass auch wir der Preisbindung unterliegen und kurzfristige Preiserhöhungen oder -senkungen an Sie weitergeben müssen.