Beschreibung

Dieses Buch stellt den gesamten Sprachumfang von Ada vor. Es behandelt die gängigen Methoden des Software-Engineering und zeigt anhand vollständiger Programmbeispiele, wie man diese Methoden in Ada anwenden kann, um zuverlässige, wartbare und portable Programme zu entwickeln. Dabei werden auch objektorientierte Methoden einbezogen und ihre Unterstützung durch die aktuelle Neufassung des Standards erläutert. Zahlreiche Übungen mit Musterlösungen bieten dem Leser die Möglichkeit, das Erlernte an Entwurf und Entwicklung eines größeren zusammenhängenden Beispiels zu erproben. Das Buch eignet sich für alle Leser, die über Kenntnisse in einer beliebigen blockstrukturierten Sprache verfügen.

Inhaltsangabe

1 Einleitung.- 1.1 Die Terminologie.- 1.2 Die Programmbeispiele.- 1.3 Die Übungsaufgaben.- 1.4 Ada 9X.- 2 Der Werdegang von Ada.- 2.1 Die Software-Krise.- 2.2 Ein Weg aus der Krise.- 2.3 Die Suche nach einer Sprache.- 2.4 Verbesserung und Standardisierung.- 2.5 Chronologischer Überblick.- 2.6 Was ist Validierung?.- 2.7 Die Entwicklungsumgebung.- 3 Erfolgreiches Programmieren und Ada.- 3.1 Abstraktion.- 3.1.1 Abstraktion von Daten.- 3.1.2 Abstraktion von Aktionen.- 3.2 Programmentwurf.- 3.3 Lesbarkeit und Transparenz.- 3.4 Modularisierung und getrennte Übersetzung.- 3.5 Spezifikation, Schnittstelle, Implementierung.- 3.6 Geheimnisprinzip.- 3.7 Arbeitsteilung.- 3.8 Zuverlässigkeit.- 3.8.1 Strenge Typisierung.- 3.8.2 Laufzeitfehlerkonzept.- 3.9 Wiederverwendbarkeit.- 3.10 Wartbarkeit.- 3.11 Portierbarkeit.- 3.12 Maschinennahes Programmieren.- 3.13 Parallele Prozesse und Echtzeit.- 3.14 Sprachübersicht.- 4 Ein einfaches Ada-Programm.- 4.1 Bemerkungen zur Syntax.- 5 Anweisungen.- 5.1 Einfache Anweisungen.- 5.2 Bedingte Anweisungen.- 5.2.1 Die IF-Anweisung.- 5.2.2 Die CASE-Anweisung.- 5.3 LOOP-Anweisungen.- 5.4 Blockanweisungen.- 5.5 Übung 1: Anweisungen.- 6 Unterprogramme.- 6.1 Unterprogramme und ihre Schnittstellen.- 6.2 Die Implementierung eines Unterprogramms.- 6.3 Lokale Unterprogramme.- 6.4 Stummel und Untereinheiten.- 6.5 Explizite Unterprogrammvereinbarungen.- 6.6 Verdecken und Überladen.- 6.7 Bibliotheksunterprogramme.- 6.8 Unterprogramme und das Geheimnisprinzip.- 6.9 Spezifikation des Vokabel-Trainers.- 6.9.1 Funktionaler Überblick.- 6.9.2 Funktionale Beschreibung.- 6.10 Übung 2: Entwurf eines Ada-Programms.- 6.10.1 Objekte, Aktionen und Eigenschaften.- 6.10.2 Was bezieht sich auf welches Objekt?.- 6.10.3 Formulierung in Ada.- 6.11 Lösung zur Entwurfsübung.- 6.11.1 Objekte, Aktionen und Eigenschaften.- 6.11.2 Ada-Darstellung der Objekte.- 6.11.3 Ada-Darstellung der Aktionen / Eigenschaften.- 6.12 Übung 3: Aufruf von Unterprogrammen.- 7 Daten: Typen und Objekte.- 7.1 Aufzählungstypen.- 7.2 Operatoren.- 7.3 Der Typ boolean.- 7.4 ARRAY-Typen.- 7.4.1 Uneingeschränkte ARRAY-Typen.- 7.4.2 Aggregate und Ausschnitte.- 7.4.3 Mehrdimensionale ARRAYs.- 7.4.4 Attribute und Operatoren.- 7.5 RECORD-Typen.- 7.5.1 RECORDS mit Variantenteil.- 7.5.2 Mehr RECORD-Typen mit Diskriminanten.- 7.5.3 Diskriminanten mit Vorbesetzung.- 7.6 ACCESS-Typen.- 7.7 Verkettete Strukturen.- 7.8 Numerische Typen.- 7.8.1 Gleitpunkttypen.- 7.8.2 Festpunkttypen.- 7.9 Abgeleitete Typen, Typkonvertierung.- 7.10 Übung 4: Typen und Unterprogramme.- 8 Pakete.- 8.1 Ein einfaches Paket.- 8.2 Die USE-Klausel.- 8.3 Der Aufbau eines Pakets.- 8.4 Ein Paket mit Implementierungsdetails.- 8.4.1 Anwendung des Pakets.- 8.4.2 Der Paketrumpf.- 8.5 Ein weiteres Paketbeispiel.- 8.6 Private Typen.- 8.7 LIMITED PRIVATE Typen.- 8.8 PACKAGE liste mit privatem Typ.- 8.9 Paket mit Anweisungen.- 8.10 Übung 5: Anwendung eines Pakets.- 9 Getrennte Übersetzung.- 9.1 Die Bibliothek.- 9.2 Übersetzungseinheiten.- 9.3 Abhängigkeiten zwischen Einheiten.- 9.4 Ein Beispiel.- 9.4.1 Eine Alternativstruktur.- 9.5 Modulare Struktnr eines Ada-Programms.- 9.6 Übung 6: Sichtbarkeit im Ada-Programm.- 9.7 Übung 7: Struktur des Vokabel-Trainers.- 9.8 Lösung zu Übung 6.- 9.9 Lösung zu Übung 7.- 10 Abarbeitung.- 10.1 Lokale Abarbeitungsfehler.- 10.2 Abarbeitung von Bibliothekseinheiten.- 10.3 PRAGMA elaborate.- 11 Ein-/Ausgabe.- 11.1 Textausgabe.- 11.2 Textausgabe von Zahlen und Aufzählungswerten.- 11.3 Portable benutzerdefinierte Ein-/Ausgabe.- 11.4 Texteingabe.- 11.5 Texteingabe von Zahlen und Aufzählungswerten.- 11.6 Übung 8: Text-Ein-/Ausgabe.- 11.7 Umgang mit Dateien.- 11.8 Übung 9: Ein-/Ausgabe im internen Format.- 12 Schablonen.- 12.1 Eine einfache generische Prozedur.- 12.2 Ausprägungen als Bibliothekseinheiten.- 12.3 Die Übersetzungsreihenfolge bei Schablonen.- 12.4 PACKAGE liste als Schablone.- 12.5 Ein generisches Mengenpaket.- 12.6 Eine generische formale Prozedur.- 12

Klappentext

Mit Hilfe dieses Buches lassen sich zuverlässige, wartbare und portable Programme entwickeln. Dabei unterstützen vollständige Programmbeispiele und Übungen mit Musterlösungen.