Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
2005
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Darmstadt, Techn. Univ., Diss., 2004 |
| Beschreibung: | 222 S. zahlr. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV020864328 | ||
| 003 | DE-604 | ||
| 005 | 20060828 | ||
| 007 | t | ||
| 008 | 051110s2005 d||| m||| 00||| ger d | ||
| 035 | |a (OCoLC)69663288 | ||
| 035 | |a (DE-599)BVBBV020864328 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-703 |a DE-91 |a DE-739 |a DE-355 |a DE-83 | ||
| 100 | 1 | |a Kopp, Petra |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |c von Petra Kopp |
| 264 | 1 | |c 2005 | |
| 300 | |a 222 S. |b zahlr. graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Darmstadt, Techn. Univ., Diss., 2004 | ||
| 650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Vererbung |g Informatik |0 (DE-588)4277478-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlende Daten |0 (DE-588)4264715-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 0 | 1 | |a Fehlende Daten |0 (DE-588)4264715-0 |D s |
| 689 | 0 | 2 | |a Vererbung |g Informatik |0 (DE-588)4277478-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014186178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014186178 | ||
Datensatz im Suchindex
| _version_ | 1804134586353975296 |
|---|---|
| adam_text | INHALTSVERZEICHNIS 1 EINLEITUNG 4 2 MOTIVATION 8 2.1 PROBLEMSTELLUNG:
REKONSTRUKTION VON PROGRAMMFRAGMENTEN OBJEKTORIENTIERTER SPRACHEN 9
2.1.1 ANALYSE IMPERATIVER PROGRAMMIERSPRACHEN 10 2.1.2 ANALYSE
OBJEKTORIENTIERTER SPRACHEN 19 2.1.3 WEGE ZU EINEM NEUEN ANSATZ 31 2.1.4
LOESUNGSANSAETZE FUER NICHT BERUECKSICHTIGTE KONSTRUKTE VON C+ + UND JAVA 60
2.2 PROBLEMSTELLUNG: HOMINIDENEVOLUTION 63 3 PROBLEINFORMULIERUNG 71 3.1
POLYNOMIEUEER ANSATZ DES ERBENS UEBER NUR EINEN AHNEN (SINGLE INHERITANCE)
71 3.1.1 INTERAKTIVER ANSATZ (INFORMATIK) 71 3.1.2 ANSATZ ZUR
STAMMBAUMREKONSTRUKTION (BIOLOGIE) 99 3.1.3 MATHEMATISCHES MODELL 102
3.2 NP-SCHWERE BS T -ANALYSE (MULTIPLE INHERITANCE; INFORMATIK) 105
3.2.1 UEBERTRAGUNG AUF DIE FRAGMENTANALYSE 110 3.2.2 POLYNOMIELLE
UMRECHNUNG 114 3.2.3 ENDLICHKEHSBETRACHTUNG 126 4 MATHEMATISCHE
MODELLIERUNG KONSISTENZERHAKENDER ERWEITERUNGEN 127 4.1 EXKURSION 138
4.1.1 BEHANDLUNG DER PHANTOME UND MAXIMA AUS SICHT DER INFORMATIK 138
4.1.2 BEHANDLUNG DER PHANTOME UND MAXIMA AUS SICHT DER BIOLOGIE 139
4.1.3 REDUKTION DES PROBLEMS UM DIE MENGE A/DER MAXIMALEN KNOTEN 139
4.1.4 REDUKTION DES PROBLEMS UM DIE MENGE P DER PHANTOME 140 5 REDUKTION
DES PROBLEMS VOR DER KRONEN-KORREKTUR 146 5.1 VORLAEUFIGE KORREKTUR UND
AXIOMATIK 146 5.2 CHARAKTERISIERUNG DES BETABAUMGRAPHEN 148 5.3
CHARAKTERISIERUNG VON KRONEN 156 6 KRONEN-MINOREN 164 6.1 KONSTRUKTION
VON TRENNSTELLEN AUS HALBEN TRENNSTELLEN 177 6.1.1 NACHBESSERN DES
RAUTENAXIOMS 184 6.1.2 BEWEISSKIZZE ZU VERMUTUNG 1 187 6.1.3 WEITERE
BETRACHTUNGEN 190 6.1.4 BEWEIS DER UMWANDELBARKEIT IN EINEN BINAEREN BAUM
191 7 LAUFZEITVERHALTEN 193 7.1 PSEUDOCODE DES ALGORITHMUS 193 7.2
POLYNOMIELLE ENTSCHEIDBARKEIT 195 8 ZUSAMMENFASSUNG UND AUSBLICK 199 9
ANHANG 205 9.1 BEISPIELE FUER KORREKTUR 205 9.1.1 BEISPIEL 1 205 9.1.2
BEISPIEL 2 209 9.1.3 BEISPIEL 3 211 9.1.4 BEISPIEL 4 213 9.2
BEGRIFFSERKLAERUNGEN 214 9.3 INDEX 217 9.4 LITERATURVERZEICHNIS 219 3/222
|
| adam_txt |
INHALTSVERZEICHNIS 1 EINLEITUNG 4 2 MOTIVATION 8 2.1 PROBLEMSTELLUNG:
REKONSTRUKTION VON PROGRAMMFRAGMENTEN OBJEKTORIENTIERTER SPRACHEN 9
2.1.1 ANALYSE IMPERATIVER PROGRAMMIERSPRACHEN 10 2.1.2 ANALYSE
OBJEKTORIENTIERTER SPRACHEN 19 2.1.3 WEGE ZU EINEM NEUEN ANSATZ 31 2.1.4
LOESUNGSANSAETZE FUER NICHT BERUECKSICHTIGTE KONSTRUKTE VON C+ + UND JAVA 60
2.2 PROBLEMSTELLUNG: HOMINIDENEVOLUTION 63 3 PROBLEINFORMULIERUNG 71 3.1
POLYNOMIEUEER ANSATZ DES ERBENS UEBER NUR EINEN AHNEN (SINGLE INHERITANCE)
71 3.1.1 INTERAKTIVER ANSATZ (INFORMATIK) 71 3.1.2 ANSATZ ZUR
STAMMBAUMREKONSTRUKTION (BIOLOGIE) 99 3.1.3 MATHEMATISCHES MODELL 102
3.2 NP-SCHWERE BS T -ANALYSE (MULTIPLE INHERITANCE; INFORMATIK) 105
3.2.1 UEBERTRAGUNG AUF DIE FRAGMENTANALYSE 110 3.2.2 POLYNOMIELLE
UMRECHNUNG 114 3.2.3 ENDLICHKEHSBETRACHTUNG 126 4 MATHEMATISCHE
MODELLIERUNG KONSISTENZERHAKENDER ERWEITERUNGEN 127 4.1 EXKURSION 138
4.1.1 BEHANDLUNG DER PHANTOME UND MAXIMA AUS SICHT DER INFORMATIK 138
4.1.2 BEHANDLUNG DER PHANTOME UND MAXIMA AUS SICHT DER BIOLOGIE 139
4.1.3 REDUKTION DES PROBLEMS UM DIE MENGE A/DER MAXIMALEN KNOTEN 139
4.1.4 REDUKTION DES PROBLEMS UM DIE MENGE P DER PHANTOME 140 5 REDUKTION
DES PROBLEMS VOR DER KRONEN-KORREKTUR 146 5.1 VORLAEUFIGE KORREKTUR UND
AXIOMATIK 146 5.2 CHARAKTERISIERUNG DES BETABAUMGRAPHEN 148 5.3
CHARAKTERISIERUNG VON KRONEN 156 6 KRONEN-MINOREN 164 6.1 KONSTRUKTION
VON TRENNSTELLEN AUS HALBEN TRENNSTELLEN 177 6.1.1 NACHBESSERN DES
RAUTENAXIOMS 184 6.1.2 BEWEISSKIZZE ZU VERMUTUNG 1 187 6.1.3 WEITERE
BETRACHTUNGEN 190 6.1.4 BEWEIS DER UMWANDELBARKEIT IN EINEN BINAEREN BAUM
191 7 LAUFZEITVERHALTEN 193 7.1 PSEUDOCODE DES ALGORITHMUS 193 7.2
POLYNOMIELLE ENTSCHEIDBARKEIT 195 8 ZUSAMMENFASSUNG UND AUSBLICK 199 9
ANHANG 205 9.1 BEISPIELE FUER KORREKTUR 205 9.1.1 BEISPIEL 1 205 9.1.2
BEISPIEL 2 209 9.1.3 BEISPIEL 3 211 9.1.4 BEISPIEL 4 213 9.2
BEGRIFFSERKLAERUNGEN 214 9.3 INDEX 217 9.4 LITERATURVERZEICHNIS 219 3/222 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kopp, Petra |
| author_facet | Kopp, Petra |
| author_role | aut |
| author_sort | Kopp, Petra |
| author_variant | p k pk |
| building | Verbundindex |
| bvnumber | BV020864328 |
| ctrlnum | (OCoLC)69663288 (DE-599)BVBBV020864328 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01547nam a2200361 c 4500</leader><controlfield tag="001">BV020864328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060828 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051110s2005 d||| m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)69663288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020864328</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kopp, Petra</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen</subfield><subfield code="c">von Petra Kopp</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">222 S.</subfield><subfield code="b">zahlr. 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="500" ind1=" " ind2=" "><subfield code="a">Darmstadt, Techn. Univ., Diss., 2004</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vererbung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4277478-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlende Daten</subfield><subfield code="0">(DE-588)4264715-0</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">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Fehlende Daten</subfield><subfield code="0">(DE-588)4264715-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Vererbung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4277478-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=014186178&sequence=000001&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-014186178</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV020864328 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:24:01Z |
| indexdate | 2024-07-09T20:26:58Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014186178 |
| oclc_num | 69663288 |
| open_access_boolean | |
| owner | DE-703 DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-83 |
| owner_facet | DE-703 DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-83 |
| physical | 222 S. zahlr. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| record_format | marc |
| spelling | Kopp, Petra Verfasser aut Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen von Petra Kopp 2005 222 S. zahlr. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Darmstadt, Techn. Univ., Diss., 2004 Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Vererbung Informatik (DE-588)4277478-0 gnd rswk-swf Fehlende Daten (DE-588)4264715-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Objektorientierte Programmierung (DE-588)4233947-9 s Fehlende Daten (DE-588)4264715-0 s Vererbung Informatik (DE-588)4277478-0 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014186178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kopp, Petra Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen Objektorientierte Programmierung (DE-588)4233947-9 gnd Vererbung Informatik (DE-588)4277478-0 gnd Fehlende Daten (DE-588)4264715-0 gnd |
| subject_GND | (DE-588)4233947-9 (DE-588)4277478-0 (DE-588)4264715-0 (DE-588)4113937-9 |
| title | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |
| title_auth | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |
| title_exact_search | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |
| title_exact_search_txtP | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |
| title_full | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen von Petra Kopp |
| title_fullStr | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen von Petra Kopp |
| title_full_unstemmed | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen von Petra Kopp |
| title_short | Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen |
| title_sort | mathematische modellierung der konsistenz und konsistenzerhaltender erweiterungen von vererbung in objektorientierten sprachen |
| topic | Objektorientierte Programmierung (DE-588)4233947-9 gnd Vererbung Informatik (DE-588)4277478-0 gnd Fehlende Daten (DE-588)4264715-0 gnd |
| topic_facet | Objektorientierte Programmierung Vererbung Informatik Fehlende Daten Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014186178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kopppetra mathematischemodellierungderkonsistenzundkonsistenzerhaltendererweiterungenvonvererbunginobjektorientiertensprachen |