Algebraische Spezifikation: Eine Einführung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1983
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch entstand als Ausarbeitung einer Vorlesung für Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkenntnisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezifikation beschränkt, mußte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingeführt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Präsentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise für die zugrundeliegenden Sätze der Universellen Algebra wurden in der Regel ausgelassen, um die konsequente Entwicklung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Zügen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte Einführung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daß sie nicht auch praktisch anwendbar wären. Andererseits kann es auch für den Praktiker nur von Vorteil sein, sich wenigstens in groben Zügen über die theoretischen Grundlagen seiner Arbeit klarzuwerden |
| Beschreibung: | 1 Online-Ressource (VIII, 238 S.) |
| ISBN: | 9783642690099 9783540122562 |
| DOI: | 10.1007/978-3-642-69009-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042432875 | ||
| 003 | DE-604 | ||
| 005 | 20180711 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1983 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642690099 |c Online |9 978-3-642-69009-9 | ||
| 020 | |a 9783540122562 |c Print |9 978-3-540-12256-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-69009-9 |2 doi | |
| 035 | |a (OCoLC)863816646 | ||
| 035 | |a (DE-599)BVBBV042432875 | ||
| 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-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Klaeren, Herbert |d 1950- |e Verfasser |0 (DE-588)12142622X |4 aut | |
| 245 | 1 | 0 | |a Algebraische Spezifikation |b Eine Einführung |c von Herbert Alois Klaeren |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1983 | |
| 300 | |a 1 Online-Ressource (VIII, 238 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Dieses Buch entstand als Ausarbeitung einer Vorlesung für Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkenntnisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezifikation beschränkt, mußte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingeführt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Präsentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise für die zugrundeliegenden Sätze der Universellen Algebra wurden in der Regel ausgelassen, um die konsequente Entwicklung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Zügen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte Einführung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daß sie nicht auch praktisch anwendbar wären. Andererseits kann es auch für den Praktiker nur von Vorteil sein, sich wenigstens in groben Zügen über die theoretischen Grundlagen seiner Arbeit klarzuwerden | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-69009-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868206 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153117571284992 |
|---|---|
| any_adam_object | |
| author | Klaeren, Herbert 1950- |
| author_GND | (DE-588)12142622X |
| author_facet | Klaeren, Herbert 1950- |
| author_role | aut |
| author_sort | Klaeren, Herbert 1950- |
| author_variant | h k hk |
| building | Verbundindex |
| bvnumber | BV042432875 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863816646 (DE-599)BVBBV042432875 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-69009-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03457nmm a2200517zc 4500</leader><controlfield tag="001">BV042432875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180711 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1983 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642690099</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-69009-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540122562</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-12256-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-69009-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863816646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432875</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Klaeren, Herbert</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12142622X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="b">Eine Einführung</subfield><subfield code="c">von Herbert Alois Klaeren</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 238 S.)</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">Dieses Buch entstand als Ausarbeitung einer Vorlesung für Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkenntnisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezifikation beschränkt, mußte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingeführt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Präsentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise für die zugrundeliegenden Sätze der Universellen Algebra wurden in der Regel ausgelassen, um die konsequente Entwicklung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Zügen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte Einführung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daß sie nicht auch praktisch anwendbar wären. Andererseits kann es auch für den Praktiker nur von Vorteil sein, sich wenigstens in groben Zügen über die theoretischen Grundlagen seiner Arbeit klarzuwerden</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="689" ind1="1" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\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-642-69009-9</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868206</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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.BV042432875 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642690099 9783540122562 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868206 |
| oclc_num | 863816646 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (VIII, 238 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spelling | Klaeren, Herbert 1950- Verfasser (DE-588)12142622X aut Algebraische Spezifikation Eine Einführung von Herbert Alois Klaeren Berlin, Heidelberg Springer Berlin Heidelberg 1983 1 Online-Ressource (VIII, 238 S.) txt rdacontent c rdamedia cr rdacarrier Dieses Buch entstand als Ausarbeitung einer Vorlesung für Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkenntnisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezifikation beschränkt, mußte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingeführt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Präsentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise für die zugrundeliegenden Sätze der Universellen Algebra wurden in der Regel ausgelassen, um die konsequente Entwicklung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Zügen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte Einführung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daß sie nicht auch praktisch anwendbar wären. Andererseits kann es auch für den Praktiker nur von Vorteil sein, sich wenigstens in groben Zügen über die theoretischen Grundlagen seiner Arbeit klarzuwerden Computer science Software engineering Computer Science Software Engineering Informatik Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 s 1\p DE-604 Algebraische Spezifikation (DE-588)4207192-6 s 2\p DE-604 https://doi.org/10.1007/978-3-642-69009-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Klaeren, Herbert 1950- Algebraische Spezifikation Eine Einführung Computer science Software engineering Computer Science Software Engineering Informatik Algebraische Spezifikation (DE-588)4207192-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4056186-0 |
| title | Algebraische Spezifikation Eine Einführung |
| title_auth | Algebraische Spezifikation Eine Einführung |
| title_exact_search | Algebraische Spezifikation Eine Einführung |
| title_full | Algebraische Spezifikation Eine Einführung von Herbert Alois Klaeren |
| title_fullStr | Algebraische Spezifikation Eine Einführung von Herbert Alois Klaeren |
| title_full_unstemmed | Algebraische Spezifikation Eine Einführung von Herbert Alois Klaeren |
| title_short | Algebraische Spezifikation |
| title_sort | algebraische spezifikation eine einfuhrung |
| title_sub | Eine Einführung |
| topic | Computer science Software engineering Computer Science Software Engineering Informatik Algebraische Spezifikation (DE-588)4207192-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Computer science Software engineering Computer Science Software Engineering Informatik Algebraische Spezifikation Softwarespezifikation |
| url | https://doi.org/10.1007/978-3-642-69009-9 |
| work_keys_str_mv | AT klaerenherbert algebraischespezifikationeineeinfuhrung |