Termersetzungssysteme: Theorie, Implementierung, Anwendung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1998
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultät für Informatik der Universität Tübingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern könnte dieses Buch aber auch für alle, die sich mit formalen Systemen beschäftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einführung in das Gebiet der Termersetzungssysteme. Dennoch setzt es einige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verständnis der Prädikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunächst als Einführung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbständig aktuelle Forschungspublikationen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehört zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage für seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist äußerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifikationen haben den unbestreitbaren Vorteil, daß sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind formale 2 Spezifikationen für Ungeübte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen |
| Beschreibung: | 1 Online-Ressource (XIV, 228S.) |
| ISBN: | 9783322868466 9783528056520 |
| DOI: | 10.1007/978-3-322-86846-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429737 | ||
| 003 | DE-604 | ||
| 005 | 20180126 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1998 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322868466 |c Online |9 978-3-322-86846-6 | ||
| 020 | |a 9783528056520 |c Print |9 978-3-528-05652-0 | ||
| 024 | 7 | |a 10.1007/978-3-322-86846-6 |2 doi | |
| 035 | |a (OCoLC)863951789 | ||
| 035 | |a (DE-599)BVBBV042429737 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Bündgen, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Termersetzungssysteme |b Theorie, Implementierung, Anwendung |c von Reinhard Bündgen |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1998 | |
| 300 | |a 1 Online-Ressource (XIV, 228S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultät für Informatik der Universität Tübingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern könnte dieses Buch aber auch für alle, die sich mit formalen Systemen beschäftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einführung in das Gebiet der Termersetzungssysteme. Dennoch setzt es einige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verständnis der Prädikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunächst als Einführung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbständig aktuelle Forschungspublikationen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehört zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage für seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist äußerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifikationen haben den unbestreitbaren Vorteil, daß sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind formale 2 Spezifikationen für Ungeübte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-86846-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027865068 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153110902341632 |
|---|---|
| any_adam_object | |
| author | Bündgen, Reinhard |
| author_facet | Bündgen, Reinhard |
| author_role | aut |
| author_sort | Bündgen, Reinhard |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV042429737 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863951789 (DE-599)BVBBV042429737 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-86846-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03357nmm a2200457zc 4500</leader><controlfield tag="001">BV042429737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180126 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1998 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322868466</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-86846-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528056520</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-05652-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-86846-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863951789</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429737</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bündgen, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Termersetzungssysteme</subfield><subfield code="b">Theorie, Implementierung, Anwendung</subfield><subfield code="c">von Reinhard Bündgen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 228S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultät für Informatik der Universität Tübingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern könnte dieses Buch aber auch für alle, die sich mit formalen Systemen beschäftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einführung in das Gebiet der Termersetzungssysteme. Dennoch setzt es einige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verständnis der Prädikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunächst als Einführung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbständig aktuelle Forschungspublikationen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehört zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage für seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist äußerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifikationen haben den unbestreitbaren Vorteil, daß sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind formale 2 Spezifikationen für Ungeübte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-86846-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027865068</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042429737 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:24Z |
| institution | BVB |
| isbn | 9783322868466 9783528056520 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027865068 |
| oclc_num | 863951789 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XIV, 228S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Bündgen, Reinhard Verfasser aut Termersetzungssysteme Theorie, Implementierung, Anwendung von Reinhard Bündgen Wiesbaden Vieweg+Teubner Verlag 1998 1 Online-Ressource (XIV, 228S.) txt rdacontent c rdamedia cr rdacarrier Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultät für Informatik der Universität Tübingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern könnte dieses Buch aber auch für alle, die sich mit formalen Systemen beschäftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einführung in das Gebiet der Termersetzungssysteme. Dennoch setzt es einige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verständnis der Prädikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunächst als Einführung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbständig aktuelle Forschungspublikationen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehört zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage für seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist äußerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifikationen haben den unbestreitbaren Vorteil, daß sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind formale 2 Spezifikationen für Ungeübte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen Engineering Engineering, general Ingenieurwissenschaften Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 s 1\p DE-604 https://doi.org/10.1007/978-3-322-86846-6 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Bündgen, Reinhard Termersetzungssysteme Theorie, Implementierung, Anwendung Engineering Engineering, general Ingenieurwissenschaften Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4117189-5 |
| title | Termersetzungssysteme Theorie, Implementierung, Anwendung |
| title_auth | Termersetzungssysteme Theorie, Implementierung, Anwendung |
| title_exact_search | Termersetzungssysteme Theorie, Implementierung, Anwendung |
| title_full | Termersetzungssysteme Theorie, Implementierung, Anwendung von Reinhard Bündgen |
| title_fullStr | Termersetzungssysteme Theorie, Implementierung, Anwendung von Reinhard Bündgen |
| title_full_unstemmed | Termersetzungssysteme Theorie, Implementierung, Anwendung von Reinhard Bündgen |
| title_short | Termersetzungssysteme |
| title_sort | termersetzungssysteme theorie implementierung anwendung |
| title_sub | Theorie, Implementierung, Anwendung |
| topic | Engineering Engineering, general Ingenieurwissenschaften Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Termersetzungssystem |
| url | https://doi.org/10.1007/978-3-322-86846-6 |
| work_keys_str_mv | AT bundgenreinhard termersetzungssystemetheorieimplementierunganwendung |