Logische und Methodische Grundlagen der Programm- und Systementwicklung (e-bog) af Broy, Manfred
Broy, Manfred (forfatter)

Logische und Methodische Grundlagen der Programm- und Systementwicklung e-bog

209,76 DKK (inkl. moms 262,20 DKK)
Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissens...
E-bog 209,76 DKK
Forfattere Broy, Manfred (forfatter), Malkis, Alexander (medforfatter)
Udgivet 11 juni 2019
Genrer Computer programming / software engineering
Sprog German
Format pdf
Beskyttelse LCP
ISBN 9783658263027
Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und Programmentwicklung
In diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.
Die Kernthemen des Werks im Überblick
Das Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ widmet sich folgenden Themen:
?Algebraische Spezifikationen von Daten- und Rechenstrukturen 
?Spezifikation und Implementierung 
?Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung
?Korrektheits- und Terminierungsbeweise
?Design-by-Contract 
?Schrittweise Verfeinerung