Modellbildung in der Informatik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004
|
| Schriftenreihe: | Xpert.press
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung |
| Beschreibung: | 1 Online-Ressource (X, 256 S.) |
| ISBN: | 9783642187322 9783642622670 |
| ISSN: | 1439-5428 |
| DOI: | 10.1007/978-3-642-18732-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042431477 | ||
| 003 | DE-604 | ||
| 005 | 20150408 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s2004 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642187322 |c Online |9 978-3-642-18732-2 | ||
| 020 | |a 9783642622670 |c Print |9 978-3-642-62267-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-18732-2 |2 doi | |
| 035 | |a (OCoLC)724817675 | ||
| 035 | |a (DE-599)BVBBV042431477 | ||
| 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-Aug4 |a DE-860 |a DE-1046 |a DE-706 |a DE-703 |a DE-1028 |a DE-83 | ||
| 082 | 0 | |a 005.7 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 245 | 1 | 0 | |a Modellbildung in der Informatik |c von Manfred Broy, Ralf Steinbrüggen |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2004 | |
| 300 | |a 1 Online-Ressource (X, 256 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Xpert.press |x 1439-5428 | |
| 500 | |a Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Information systems | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Information Systems and Communication Service | |
| 650 | 4 | |a Models and Principles | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Steinbrüggen, Ralf |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-18732-2 |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_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866808 | ||
| 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_ | 1804153114621640704 |
|---|---|
| any_adam_object | |
| author | Broy, Manfred 1949- |
| author_GND | (DE-588)109602137 |
| author_facet | Broy, Manfred 1949- |
| author_role | aut |
| author_sort | Broy, Manfred 1949- |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV042431477 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)724817675 (DE-599)BVBBV042431477 |
| dewey-full | 005.7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7 |
| dewey-search | 005.7 |
| dewey-sort | 15.7 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-18732-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03263nmm a2200613zc 4500</leader><controlfield tag="001">BV042431477</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150408 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s2004 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642187322</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-18732-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642622670</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-62267-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-18732-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)724817675</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431477</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-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7</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">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellbildung in der Informatik</subfield><subfield code="c">von Manfred Broy, Ralf Steinbrüggen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 256 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="490" ind1="0" ind2=" "><subfield code="a">Xpert.press</subfield><subfield code="x">1439-5428</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems and Communication Service</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models and Principles</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</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="700" ind1="1" ind2=" "><subfield code="a">Steinbrüggen, Ralf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-18732-2</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_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866808</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.BV042431477 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:28Z |
| institution | BVB |
| isbn | 9783642187322 9783642622670 |
| issn | 1439-5428 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866808 |
| oclc_num | 724817675 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| physical | 1 Online-Ressource (X, 256 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_2000/2004 |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Xpert.press |
| spelling | Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Modellbildung in der Informatik von Manfred Broy, Ralf Steinbrüggen Berlin, Heidelberg Springer Berlin Heidelberg 2004 1 Online-Ressource (X, 256 S.) txt rdacontent c rdamedia cr rdacarrier Xpert.press 1439-5428 Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung Computer science Information systems Computer Science Information Systems and Communication Service Models and Principles Information Systems Applications (incl. Internet) Informatik Modellierung (DE-588)4170297-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 s Modellierung (DE-588)4170297-9 s 1\p DE-604 Informatik (DE-588)4026894-9 s 2\p DE-604 Steinbrüggen, Ralf Sonstige oth https://doi.org/10.1007/978-3-642-18732-2 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 | Broy, Manfred 1949- Modellbildung in der Informatik Computer science Information systems Computer Science Information Systems and Communication Service Models and Principles Information Systems Applications (incl. Internet) Informatik Modellierung (DE-588)4170297-9 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4170297-9 (DE-588)4116521-4 (DE-588)4026894-9 |
| title | Modellbildung in der Informatik |
| title_auth | Modellbildung in der Informatik |
| title_exact_search | Modellbildung in der Informatik |
| title_full | Modellbildung in der Informatik von Manfred Broy, Ralf Steinbrüggen |
| title_fullStr | Modellbildung in der Informatik von Manfred Broy, Ralf Steinbrüggen |
| title_full_unstemmed | Modellbildung in der Informatik von Manfred Broy, Ralf Steinbrüggen |
| title_short | Modellbildung in der Informatik |
| title_sort | modellbildung in der informatik |
| topic | Computer science Information systems Computer Science Information Systems and Communication Service Models and Principles Information Systems Applications (incl. Internet) Informatik Modellierung (DE-588)4170297-9 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Computer science Information systems Computer Science Information Systems and Communication Service Models and Principles Information Systems Applications (incl. Internet) Informatik Modellierung Software Engineering |
| url | https://doi.org/10.1007/978-3-642-18732-2 |
| work_keys_str_mv | AT broymanfred modellbildunginderinformatik AT steinbruggenralf modellbildunginderinformatik |