Gerhard Goos Livres

Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen. Der Autor stellt die Prinzipien der „Systemmodellierung“ und der „ingenieurmäßigen Softwarekonstruktion“ in den Mittelpunkt seiner Darstellung. In vier Bänden deckt dieses Werk die Informatik-Grundvorlesung bis zum Vordiplom ab. Der nun in dritter Auflage vorliegende erste Band bietet den Einstieg in den Vorlesungszyklus und vermittelt die Grundbegriffe, mit denen die Informatik umgeht, und die theoretischen Grundlagen (Algebren, Relationen, Logikgrundlagen, funktionales Programmieren, abstrakte Datentypen), die benötigt werden, um das systematische Konstruieren von Informatiksystemen zu erlernen.

Ada ist eine Systemprogrammiersprache, geeignet zum Schreiben groBer Programmsysteme, die aus vielen getrennt erstellten Moduln bestehen. Ada wurde fur Echtzeitanwendungen entworfen, eignet sich aber fUr beliebige Systemanwendungen yom Betriebssystemkern bis zur Datenbankanwendung. Die Sprache vereinigt in sich Elemente verschiedener Herkunft, vor aHem aber der Algol- und Pascal-Schule. Viele Elemente, z.B. das Paket-Konzept und die Synchronisierung von Pro zessen, sind eng verkntipft mit Strategien moderner Programmiermethodik. Diese muB man daher bis zu einem gewissen Grad kennen, wenn man optima len Gebrauch von der Sprache machen will. Die vorliegende Einftihrung ist da her eine Mischung aus Programmieranleitung und herkommlichem Lehrbuch einer Programmiersprache. Ziel des Buches ist es, Programmierer in die Lage zu versetzen, eigenstlindig Ada-Programme zu entwerfen und zu programmie ren, wobei die syntaktischen Feinheiten mit Hilfe des Referenzmanuals oder ei nes Ada-Ubersetzers ausgeftillt werden. Es geht also nicht darum zu wissen, an welchen Stellen ein Strichpunkt gesetzt wird, sondern darum, Methoden zu er lernen, mit denen Problemlosungen in Ada ausgedrtickt werden konnen. 1.1 Entwicklungsgeschichte 1975 startet das US Verteidigungsministerium (DoD, Department of Defense) ein Projekt mit dem Ziel, eine Programmiersprache festzuschreiben, die den Bedurfnissen der Anwendungsprogrammierung im Verteidigungsbereich gentigt. Inhaltsverzeichnis 1. Einleitung.- 1.1 Entwicklungsgeschichte.- 1.2 Allgemeine Entwurfsziele.- 1.3 Programmierumgebung.- 2. Sprachüberblick.- 2.1 Programmeinheiten.- 2.2 Ein erstes Beispiel.- 2.3 Der Vereinbarungsteil.- 2.4 Der Anweisungsteil.- 2.5 Programmrepräsentation.- 3. Programmentwicklung und getrennte Übersetzung.- 3.1 Übersetzungseinheiten.- 3.2 Top-Down Programmentwicklung.- 3.3 Bottom-Up Programmentwicklung.- 3.4 Mischformen der Programmentwicklung.- 4. Pakete.- 4.1 Pakete und Modularisierung.- 4.2 Pakete und abstrakte Datentypen.- 4.3 Gültigkeit und Sichtbarkeit, Use-Klauseln.- 4.4 Limitierte Typen.- 4.5 Pakete und getrennte Ubersetzung.- 4.6 Hilfsmittel zur Verschiebung von Implementierungsentscheidungen.- 4.7 Exemplare von ADTs, parametrisierte ADTs.- 5. Sequentielle Ablaufsteuerung.- 5.1 Unterprogramme.- 5.2 Anweisungen.- 6. Prozesse und paralleler Kontrollfluß.- 6.1 Vereinbarung und Rumpf eines Prozesses.- 6.2 Prozeßobjekte, ihre Aktivierung und Terminierung.- 6.3 Eingänge und Accept-Anweisungen.- 6.4 Delay-Anweisungen.- 6.5 Select-Anweisungen.- 6.6 Einwirkung auf andere Prozesse bei Fehlern.- 6.7 Zum Gebrauch von Prozessen.- 6.8 Beschreibung eines Leser-Schreiber-Problems in Ada.- 7. Vordefinierte Typen, Objekte und Operationen.- 7.1 Typen und Objekte.- 7.2 Klassifikation von Typen.- 7.3 Aufzählungstypen.- 7.4 Ganzzahlige Typen.- 7.5 Reelle Typen.- 7.6 Reihungstypen.- 7.7 Verbundtypen.- 7.8 Zugriffstypen und anonyme Objekte.- 7.9 Namen und Ausdrücke.- 8. Generische Einheiten (Programmschablonen).- 9. Ausnahmebehandlung.- 9.1 Ausnahmevereinbarungen.- 9.2 Form der Ausnahmebehandlung.- 9.3 Das Auslösen von Ausnahmen.- 10. Maschinennahes Programmieren.- 10.1 Maschinenattribute und das Paket SYSTEM.- 10.2 Darstellungsklauseln und -pragmas.- 10.3 Anschluß vonUnterprogrammen einer anderen Sprache.- 11. Vordefinierte Umgebung.- 11.1 Das Paket standard.- 11.2 Vordefinierte Pakete.- Anhang A: Lexikalische und syntaktische Form.- Anhang B: Reservierte Wörter.- Anhang C: Deutsche Ada Terminologie.