Programmiermethodik mit Ada [Paperback]

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.2.1 Paketvereinbarung, private Typen, offene Konstante.- 4.2.2 Paketrumpf.- 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.1.1 Unterprogrammvereinbarung, Aufruf und Parameter?bergabe.- 5.1.2 Unterprogrammrumpf.- 5.1.3 G?ltigkeit, Sichtbarkeit, rekursive Unterprogramme.- 5.1.4 Operatoren und ?berladen von Unterprogrammen.- 5.2 Anweisungen.- 5.2.1 If-Anweisungen.- 5.2.2 Case-Anweisungen.- 5.2.3 Schleifenanweisungen.- 5.2.4 Blockanweisungen.- 5.2.5 Goto-Anweisungen.- 5.2.6 Hinweise zur Programmdokumentation.- 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 l3‹