Software Prototyping mit SETL

Häftad, Tyska, 1989

Av Ernst-Erich Doberkat, Dietmar Fox

669 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-10-01
Mått155 x 235 x 13 mm
Vikt359 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor229
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022725

Du kanske också är intresserad av

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

I Einfache Programm-Konstrukte.- I.1 Primitive Datentypen.- I.2 Einfache Kontrollstrukturen.- I.3 Programmaufbau, kleine Programme.- I.4 Aufgaben zu Kapitel I.- II Zusammengesetzte Datentypen.- II.1 Mengen.- II.2 Tupel.- II.3 Abbildungen.- II.4 Beispiel: Einfache Binäre Suchbäume.- II.5 Erweiterungen der Konzepte durch Hinzunahme der komplexen Datentypen.- II.6 Aufgaben zu Kapitel II.- III Beispiele.- III.1 Muster in Zeichenketten.- III.2 Dynamisches Hashen.- III.3 Ein Parser-Generator.- 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.3 Getrennte Übersetzung.- IV.4 Inclusion Libraries.- V Programm-Transformationen.- V.1 Breitbandsprachen.- V.2 Zwei klassische Transformationen.- V.3 Formale Differenzbildung.- V.4 Transformationelle Ableitung eines Algorithmus zur Speicherbereinigung.- V.5 Transformationen für SETL: Differentiation mengentheoretischer Ausdrücke.- V.6 Abschließende Bemerkungen.- V.7 Übungsaufgaben.- VI Software Prototyping.- VI.1 Der Software Life Cycle.- VI.2 Software Prototyping.- VI.3 SETL als Prototyping-Sprache.- Literatur.