Software Prototyping mit SETL - Doberkat, Ernst-Erich

. .

Résumé :
.

Biographie:
..

Sommaire:
I Einfache Programm-Konstrukte.- I.1 Primitive Datentypen.- I.1.1 Der Datentyp integer.- I.1.2 Der Datentyp real.- I.1.3 Der Datentyp string.- I.1.4 Der Datentyp boolean.- I.1.5 Der Datentyp atom.- I.1.6 Typtests.- I.1.7 Kommunikation mit der Umgebung.- I.2 Einfache Kontrollstrukturen.- I.2.1 Die bedingte Anweisung.- I.2.2 Die fallgesteuerte Anweisung.- I.2.3 Schleifen.- I.2.4 Zusicherungen.- I.3 Programmaufbau, kleine Programme.- I.3.1 Makros.- I.3.2 Prozeduren.- I.3.3 Selbstdefinierte Operatoren.- I.3.4 Operator-Hierarchie.- I.3.5 Beispiel: ein Scanner f?r Pascal-Programme.- I.4 Aufgaben zu Kapitel I.- II Zusammengesetzte Datentypen.- II.1 Mengen.- II.1.1 Generierung und Darstellung von Mengen.- II.1.2 Operationen und Pr?dikate auf Mengen.- II.1.3 Quantoren.- II.2 Tupel.- II.2.1 Operationen und Pr?dikate auf Tupeln.- II.2.2 Quantoren.- II.3 Abbildungen.- II.3.1 Einf?hrung.- II.3.2 Operationen auf Abbildungen.- II.4 Beispiel: Einfache Bin?re Suchb?ume.- II.5 Erweiterungen der Konzepte durch Hinzunahme der komplexen Datentypen.- II.5.1 Typtests.- II.5.2 Erweiterung der Anwendung bin?rer Operatoren.- II.5.3 Iteratoren.- II.5.4 Zuweisungen.- II.5.5 Konstantendeklaration.- II.6 Aufgaben zu Kapitel II.- III Beispiele.- III.1 Muster in Zeichenketten.- III.2 Dynamisches Hashen.- III.2.1 Vorbemerkungen.- III.2.2 Das Verfahren.- III.2.3 Die SETL-Implementation.- III.3 Ein Parser-Generator.- III.3.1 Zur Syntaxanalyse kontextfreier Grammatiken.- III.3.2 Das SETL-Programm.- III.4 Aufgaben zu Kapitel III.- IV Programming in the Large ? Mechanismen f?r die Erstellung komplexer Programmsysteme.- IV.1 Einleitung.- IV.2 Aufbau komplexer SETL-Programme.- IV.2.1 Bibliotheken.- IV.2.2 Moduln.- IV.2.3 Die Programm-Einheit.- IV.2.4 Das zentrale Verzeichnis (directory).- IV.3 Getrennte ?bersetzung.- IV.4 Inclusion Libraries.- V Programm-Transformationen.- V.1 Breitbandsprachen.- V.2 Zwei klassische Transformationen.- V.2.1 Transformation rekursiver Prozeduren.- V.2.2 Reduktion der St?rke.- V.3 Formale Differenzbildung.- V.3.1 Ein Differenzenkalk?l.- V.3.2 Anwendung auf Schleifen.- V.3.3 Zielorientierte Differenzbildung.- V.4 Transformationelle Ableitung eines Algorithmus zur Speicherbereinigung.- V.5 Transformationen f?r SETL: Differentiation mengentheoretischer Ausdr?cke.- V.5.1 Technische Vorbemerkungen.- V.5.2 Definition der Ableitung.- V.5.3 Profitabilit?t.- V.5.4 Vertikale und horizontale Verschmelzung von Schleifen.- V.5.5 Beispiele.- V.6 Abschlie?ende Bemerkungen.- V.7 ?bungsaufgaben.- VI Software Prototyping.- VI.1 Der Software Life Cycle.- VI.1.1 Analyse.- VI.1.2 Entwurfsphase.- VI.1.3 Implementation.- VI.1.4 Installation.- VI.1.5 Wartung.- VI.2 Software Prototyping.- VI.2.1 Nachteile des Wasserfall-Modells.- VI.2.2 Prototyping als Zugang.- VI.2.3 Zug?nge zum Prototyping.- VI.2.4 Sprachen und Werkzeuge zur Unterst?tzung des Prototyping.- VI.2.5 Anwendungsgebiete.- VI.2.6 Prototyping bezogen auf andere Gebiete des Software Engineering.- VI.3 SETL als Prototyping-Sprache.- VI.3.1 SETL unter dem Aspekt des Prototyping.- VI.3.2 Das Projekt Ada/Ed.- VI.3.3 Schlu?bemerkung.- Literatur.