Informatik & Praxis
2 total works
Formale Beschreibungsverfahren der Informatik
by Helmut Eirund, Bernd Muller, and Gerlinde Schreiber
Published 11 October 2000
Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.
Studierende und Quereinsteiger erhalten mit diesem Buch eine Anleitung, die es ihnen ermöglicht, eigene Datenbanken zu erstellen. Anhand eines durchgehenden Beispiels werden grundlegende Vorteile von Datenbankanwendungen erläutert und schrittweise der Entwurfsprozess entwickelt. Diesen Prozess fassen "Kochrezepte" am Ende eines jeden Abschnitts zusammen und Übungsteile helfen, das Verständnis des Erlernten zu prüfen und zu vertiefen.