Hybridprogrammierung: ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 172 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004237934 | ||
| 003 | DE-604 | ||
| 005 | 20040204 | ||
| 007 | t | ||
| 008 | 910117s1990 gw d||| m||| 00||| ger d | ||
| 035 | |a (OCoLC)46032841 | ||
| 035 | |a (DE-599)BVBBV004237934 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-384 |a DE-703 |a DE-355 |a DE-739 |a DE-N2 |a DE-83 |a DE-188 | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 100 | 1 | |a Enders, Helmut |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Hybridprogrammierung |b ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation |c vorgelegt von Helmut Enders |
| 264 | 1 | |c 1990 | |
| 300 | |a 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Regensburg, Univ., Diss., 1990 | ||
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Betriebswirtschaftslehre |0 (DE-588)4069402-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | 1 | |a Betriebswirtschaftslehre |0 (DE-588)4069402-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002636437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002636437 | ||
Datensatz im Suchindex
| _version_ | 1804118433988608000 |
|---|---|
| adam_text | Inhaltsverzeichnis
I Konzeption eines hybriden Software
Ansatzes 10
1 Ursprung und Entwicklung von PROLOG 11
2 Ursachen der Software Krise 18
2.1 Von Neumann Architektur 20
2.2 Expressions versus Statements 21
2.3 Unabhängigkeit der Berechnungsreihenfolge 25
2.4 Referential Transparency 28
2.5 Software Spezifikation 29
3 Die fünfte Generation 32
4 Der hybride Software Ansatz 35
1
4.1 Problemstellung 35
4.2 Rechtfertigung eines hybriden Programman¬
satzes 36
4.3 Funktionsspektrum der Inferenzmaschine . . 40
4.3.1 Spracheigenschaften der Hostsprache 40
4.3.2 Spracheigenschaften des Interpreters 42
4.3.2.1 Call In Fähigkeit 42
4.3.2.2 Call Out Fähigkeit .... 43
4.3.2.3 Modularisierung der Infe¬
renzmaschine 44
4.4 Szenarien einer modularen Implementation . 49
4.5 Vorwärtsverkettung in einer modularen Infe¬
renzmaschine 59
4.5.1 Aufbau eines Produktions Systems . 59
4.5.2 Vorwärtsverkettung in PROLOG . . 61
4.6 Relationale Datenbanken ^
4.6.1 Logische Programmierung in einer re¬
lationalen Datenbank 71
4.7 Spezifikation der Sprache 79
o
4.7.1 Standard PROLOG — Hybrid PRO
LOG 79
4.7.2 Elemente des Hybrid PROLOG ... 81
4.7.2.1 Modularität . 81
4.7.2.2 Dateibearbeitung 82
4.7.2.3 Tastatureingaben und Bild
schirmausgaben 84
4.7.2.4 Schnittstellen 85
4.7.2.5 Hybride Rekursion 93
4.8 BNF des Hybrid PROLOG 93
5 Programmtechnische Realisation 98
5.1 Modulstruktur des Interpreters 98
5.2 Listenverwaltung 101
5.2.1 Cons Space 102
5.2.2 Atom Space 108
5.3 Parser 113
5.4 Printer 114
5.5 Inferenz 116
3
!
5.5.1 Interpretation einer Anfrage 119
II Betriebswirtschaftliche Anwendun¬
gen 131
6 Wissensbasiertes System zur Kundenanalyse
im Versicherungswesen 132
6.1 Zielsetzung 132
6.2 Expertensystem versus Hybrid Programmie
rung 134
6.3 Hybrid PROLOG Implementierung 135
6.3.1 Konzeptioneller Aufbau 135
6.3.2 Window System 138
6.3.2.1 Maskenerstellung 139
6.3.2.2 Maskenabarbeitung 142
6.3.3 Datenbanksystem 143
6.3.4 PASCAL Ebene 145
6.3.5 PROLOG 146
7 Ein objektorientierter Ansatz zur Hard und
Software Auswahl in Hybrid PROLOG 151
4.
7.1 Objektorientiertes Paradigma 152
7.2 Metaprogrammierung 153
7.3 Expertensystem zur Hard und Softwareaus¬
wahl 157
8 Schlußbetrachtung und Ausblicke 161
8.1 Die hybride Toolbox 162
8.2 Erweitertes Hybrid PROLOG ........ 164
5
!
Bildnachweis
2.1 Unterschiedliche Abstraktionsebenen für Be¬
fehle mit gleicher Semantik 21
2.2 Darstellung eines arithmetischen Ausdrucks
als Baum 26
2.3 Aggregation der Werte in einem arithmeti¬
schen Ausdruck 27
2.4 Optimierung einer arithmetischen Struktur. 29
3.1 Unterschied zwischen der europäisch ame¬
rikanischen und der japanischen Software
Produktion 33
4.1 Entwicklungszyklus einer imperativen Pro¬
grammiersprache *
4.2 Iterativer Versuch und Irrtum Prozeß in der
Software Entwicklung 39
4.3 Interpreter
und Hostsprache mit einer Schnittstelle zur
Formatumsetzung , 41
4.4 Stufe 1 — Jedes Modul unterhält ihre lokale
Datenbasis 50
4.5 Stufe 2 — Modulhülsen für den Aufruf der
Inferenzmaschine 51
4.6 Privat line comminucation method: Jedes
Objekt (Procedure, Datenbasis) sendet die
Information zu dem Objekt, das sie benötigt. 55
4.7 Party line oder Blackboard communication
method. Jedes Objekt liest und analysiert die
Daten vom Blackboard, reagiert darauf und
schreibt neue Daten ins Blackboard zurück. . . 56
4.8 Hybride Blackboard Technik 58
4.9 Der Recognize Act Cycle 61
4.10 Taxonomie eines schließenden Datenbanksy¬
stems ..... 73
4.11 Ein auf Logik basierendes System (Pure Logic
System) 74
4.12 Ein erweitertes Logik System (enhanced logic
system) 75
4.13 Ein hybrides Logik System 76
7
4.14 Hybrid PROLOG Prädikat und entsprechen f
de PASCAL Funktionshülse 92
5.1 Datenfluß zwischen den einzelnen Programm
Modulen 100
5.2 Interne Darstellung einer Liste 101
m
5.3 Ein Listenelement (Cons Node) 102
5.4 Pointer Struktur einer Liste 103
5.5 CAR Teil eines CONS Knotens 103
5.6 Garbage collection bit im CDR Knoten. . . . 107
5.7 Tabellen im Atom Space HO
5.8 System Browser in PASCAL Pseudocode .. 116
6.1 Modulstruktur einer intelligenten Masken¬
steuerung 136
6.2 Struktur des Window Systems I38
6.3 Objektstruktur und Bild einer Maske 140
6.4 Zusammenhang zwischen Datei und Maske. . 144
7.1 Objektstruktur: Graphisch und als Relation. 155
7.2 OOPS in Hybrid PROLOG i57
|
| any_adam_object | 1 |
| author | Enders, Helmut |
| author_facet | Enders, Helmut |
| author_role | aut |
| author_sort | Enders, Helmut |
| author_variant | h e he |
| building | Verbundindex |
| bvnumber | BV004237934 |
| classification_rvk | QH 500 |
| ctrlnum | (OCoLC)46032841 (DE-599)BVBBV004237934 |
| discipline | Wirtschaftswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01603nam a2200385 c 4500</leader><controlfield tag="001">BV004237934</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040204 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910117s1990 gw d||| m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46032841</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004237934</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Enders, Helmut</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hybridprogrammierung</subfield><subfield code="b">ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation</subfield><subfield code="c">vorgelegt von Helmut Enders</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">172 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Regensburg, Univ., Diss., 1990</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebswirtschaftslehre</subfield><subfield code="0">(DE-588)4069402-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Betriebswirtschaftslehre</subfield><subfield code="0">(DE-588)4069402-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002636437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002636437</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004237934 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:10:14Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002636437 |
| oclc_num | 46032841 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-703 DE-355 DE-BY-UBR DE-739 DE-N2 DE-83 DE-188 |
| owner_facet | DE-12 DE-384 DE-703 DE-355 DE-BY-UBR DE-739 DE-N2 DE-83 DE-188 |
| physical | 172 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| spelling | Enders, Helmut Verfasser aut Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation vorgelegt von Helmut Enders 1990 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Regensburg, Univ., Diss., 1990 PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Betriebswirtschaftslehre (DE-588)4069402-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Betriebswirtschaftslehre (DE-588)4069402-1 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002636437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Enders, Helmut Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation PROLOG Programmiersprache (DE-588)4047464-1 gnd Betriebswirtschaftslehre (DE-588)4069402-1 gnd |
| subject_GND | (DE-588)4047464-1 (DE-588)4069402-1 (DE-588)4113937-9 |
| title | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation |
| title_auth | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation |
| title_exact_search | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation |
| title_full | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation vorgelegt von Helmut Enders |
| title_fullStr | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation vorgelegt von Helmut Enders |
| title_full_unstemmed | Hybridprogrammierung ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation vorgelegt von Helmut Enders |
| title_short | Hybridprogrammierung |
| title_sort | hybridprogrammierung ein beitrag zur losung der software krise kombination der dritten und funften software generation |
| title_sub | ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation |
| topic | PROLOG Programmiersprache (DE-588)4047464-1 gnd Betriebswirtschaftslehre (DE-588)4069402-1 gnd |
| topic_facet | PROLOG Programmiersprache Betriebswirtschaftslehre Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002636437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT endershelmut hybridprogrammierungeinbeitragzurlosungdersoftwarekrisekombinationderdrittenundfunftensoftwaregeneration |