Blick ins Buch

Andreas Schürr

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl. 1991. 23,5 cm / 15,5 cm / 2,7 cm ( B/H/T )
Buch (Softcover), 484 Seiten
EAN 9783824420216
Veröffentlicht Januar 1991
Verlag/Hersteller Deutscher Universitätsverlag

Auch erhältlich als:

eBook (pdf)
35,96
54,99 inkl. MwSt.
Teilen
Beschreibung

Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und wäre ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, für die Vergabe eines so span­ nenden Dissertationsthemas, für die Möglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und für seinen vehementen Einspruch gegen viele Versuche, die Spra­ che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die Mühe nicht gescheut hat, für diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman­ den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar­ beit beigetragen haben. Besonderen Dank schulde ich hier - den IPSEN-Opas Gregor Engels und Wilhelm Schäfer für ihre Verdienste um das "Graph Grarnmar Engineering", - meinem Landsmann Claus Lewerentz für die Gelegenheit zu vielen fruchtbaren "Zwischen Tür und Angel"-Gesprächen in unserer gemeinsamen Muttersprache, - meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt­ besten PROGRESS-Programmierer, für seine Diskussionsbereitschaft in allen Lebenslagen (beim Frühstück, Abspülen, . . .

Inhaltsverzeichnis

1. Einleitung.- 2. Informelle Spracheinführung.- 3. Theoretische Grundlagen.- 4. Formale Sprachdefinition.- 5. Werkzeugunterstützung.- 6. Zusammenfassung und Ausblick.- Anhang A: Die konkrete PROGRESS-Syntax.- Anhang B: Die Spezifikation "ExpLanguage".- Anhang C: Die Spezifikation "FamilyCharts".- Anhang D: Die Spezifikation "FerryMansProblem".- Stichwortverzeichnis.

Hersteller
Deutscher Universitätsvlg
Abraham-Lincoln-Str. 46

DE - 65189 Wiesbaden

E-Mail: ProductSafety@springernature.com

Das könnte Sie auch interessieren

Cory Doctorow
Enshittification
eBook (epub)
Sofort lieferbar (Download)
16,99
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
eBook (epub)
Sofort lieferbar (Download)
16,99
Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
eBook (epub)
Sofort lieferbar (Download)
14,99
Sofort lieferbar (Download)
3,99
Marc Elsberg
ZERO - Sie wissen, was du tust
eBook (epub)
Sofort lieferbar (Download)
10,99
Neal Stephenson
Snow Crash
eBook (epub)
Sofort lieferbar (Download)
14,99
Roberto Simanowski
Sprachmaschinen
eBook (epub)
Sofort lieferbar (Download)
19,99
Ernest Cline
Ready Player One
eBook (epub)
Sofort lieferbar (Download)
8,99
Florian Butollo
Das knappe Gut Arbeit
eBook (epub)
Sofort lieferbar (Download)
19,99
Ben Aaronovitch
Ein weißer Schwan in Tabernacle Street
eBook (epub)
Sofort lieferbar (Download)
9,99
Sofort lieferbar (Download)
0,00
Dirk Baecker
Digitalisierung
eBook (epub)
Sofort lieferbar (Download)
19,99
Frank Sackenheim
Astronomie
eBook (pdf)
Sofort lieferbar (Download)
34,90
Tiago Forte
Die PARA-Methode
eBook (epub)
Sofort lieferbar (Download)
15,99
Anna-Verena Nosthoff
Kybernetik und Kritik
eBook (epub)
Sofort lieferbar (Download)
27,99
Sofort lieferbar (Download)
12,99
Jenny Odell
Nichts tun
eBook (epub)
Sofort lieferbar (Download)
11,99
Andreas Erle
Das kann KI
eBook (epub)
Sofort lieferbar (Download)
16,99
Robert Klaßen
Windows 11
eBook (pdf)
Sofort lieferbar (Download)
12,90
Samuel Lolagar
OSINT
eBook (epub)
Sofort lieferbar (Download)
34,90
Timothy Snyder
Über Freiheit
eBook (epub)
Sofort lieferbar (Download)
17,99
Sascha Kersken
IT-Handbuch für Fachinformatiker*innen
eBook (epub)
Sofort lieferbar (Download)
39,90
Ingo Dachwitz
Digitaler Kolonialismus
eBook (epub)
Sofort lieferbar (Download)
21,99
Sofort lieferbar (Download)
6,99
Torben Kopp
Spaß im Linux-Terminal
eBook (epub)
Sofort lieferbar (Download)
0,99
Sofort lieferbar (Download)
2,99
Robert Tolksdorf
Digitale Ordnung für Dummies
eBook (epub)
Sofort lieferbar (Download)
12,99
Markus Falkenrath
Der KI-Kompass
eBook (epub)
Sofort lieferbar (Download)
3,99
Sofort lieferbar (Download)
0,00
Sofort lieferbar (Download)
0,00
Michael Kofler
Linux
eBook (epub)
Sofort lieferbar (Download)
49,90
Christin Löhner
Von Windows zu Linux in 12 Kapiteln
eBook (epub)
Sofort lieferbar (Download)
6,99
Regula Illner
Bildung im KI-Zeitalter
eBook (epub)
Sofort lieferbar (Download)
19,99
Gerhard Hintenberger
Digitale Ansätze in der psychosozialen und ...
eBook (epub)
Sofort lieferbar (Download)
21,99
David Pogue
Apple
eBook (epub)
Sofort lieferbar (Download)
31,99
Roberto Simanowski
Sprachmaschinen
eBook (pdf)
Sofort lieferbar (Download)
19,99