Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 18.08.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 100.- | Nicht mit anderen Rabatten kumulierbar.
  • Produktbild: Software Prototyping mit SETL
  • Produktbild: Software Prototyping mit SETL

Software Prototyping mit SETL Mit zahlr. Aufg. u. Beisp.

Aus der Reihe Leitfäden und Monographien der Informatik

Fr. 68.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1989

Verlag

Vieweg & Teubner

Seitenzahl

229

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

359 g

Auflage

1989

Sprache

Deutsch

ISBN

978-3-519-02272-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1989

Verlag

Vieweg & Teubner

Seitenzahl

229

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

359 g

Auflage

1989

Sprache

Deutsch

ISBN

978-3-519-02272-5

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Software Prototyping mit SETL
  • Produktbild: Software Prototyping mit SETL
  • 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 Abschliessende 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 Schlussbemerkung.- Literatur.