Modellbildung in der Informatik:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Xpert.press
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | unveränderter Nachdruck ohne CD-ROM (extra Material über Springer-HP: extras.springer.com) |
| Beschreibung: | X, 256 S. graph. Darst. CD-ROM (12 cm) |
| ISBN: | 3540442928 9783540442929 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017829112 | ||
| 003 | DE-604 | ||
| 005 | 20140403 | ||
| 007 | t | ||
| 008 | 040205s2004 d||| |||| 00||| ger d | ||
| 016 | 7 | |a 969256728 |2 DE-101 | |
| 020 | |a 3540442928 |9 3-540-44292-8 | ||
| 020 | |a 9783540442929 |9 978-3-540-44292-9 | ||
| 035 | |a (OCoLC)76556730 | ||
| 035 | |a (DE-599)BVBBV017829112 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-20 |a DE-824 |a DE-573 |a DE-29T |a DE-703 |a DE-1050 |a DE-739 |a DE-473 |a DE-384 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 001f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 245 | 1 | 0 | |a Modellbildung in der Informatik |c Manfred Broy ; Ralf Steinbrüggen |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a X, 256 S. |b graph. Darst. |e CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Xpert.press | |
| 500 | |a unveränderter Nachdruck ohne CD-ROM (extra Material über Springer-HP: extras.springer.com) | ||
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 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 |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Steinbrüggen, Ralf |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Mainz |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701793&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010701793 | ||
Datensatz im Suchindex
| _version_ | 1804130516777041920 |
|---|---|
| adam_text | MANFRED BROY * RALF STEINBRUEGGEN MODELLBILDUNG IN DER INFORMATIK MIT 51
ABBILDUNGEN UND CD-ROM SPRINGER INHALT EINLEITUNG: DAS
ENTITY-RELATIONSHIP-MODELL 1 0.1 ER-DIAGRAMME 3 0.2 DATENLEXIKA 9 0.3
UEBUNGEN 12 0.4 WIE ES WEITERGEHT 15 1 ALGEBRAISCHE MODELLIERUNG 21 1.1
SIGNATUREN UND AXIOME 23 1.2 GRUNDLEGENDE SPEZIFIKATIONEN 35 1.3 UEBUNGEN
44 1.4 WIE ES WEITERGEHT 50 2 DIAGRAMMATISCHE MODELLIERUNG 53 2.1
MODELLIERUNG AUS KOMPLEMENTAEREN SICHTEN 54 2.2 STRUKTURSICHT
(SYSTEMSTRUKTURDIAGRAMME) 59 2.3 VERHALTENSSIRHT
(ZUSTANDSUEBERGANGSDIAGRAMME) 54 2.4 ZEITVERLAUF 65 2.5 INTERAKTIONSSICHT
(SEQUENZDIAGRAMME) 67 2.6 ALGORITHMEN 72 2.7 PARTIELLE KORREKTHEIT,
TERMINIERUNG UND KOMPLEXITAET 81 2.8 DATENSICHT (DER APPLIKATIVEN
PROGRAMMIERUNG) 87 2.9 UEBUNGEN 97 2.10 WIE ES WEITERGEHT 108 INHALT * IX
3 MODELLIERUNG UND VERIFIKATION 113 3.1 FORMELN UND REGELN 115 3.2
VARIABLEN, SUBSTITUTION UND GLEICHHEIT 127 3.3 EIN FORMALER RAHMEN DES
BEWEISENS 129 3.4 EIN EINFACHER DEDUKTIONSKALKUEL 136 3.5 INDUKTIVE
DEFINITIONEN UND BEWEISE 143 3.6 UEBUNGEN 150 3.7 WIE ES WEITERGEHT 158 4
STRUKTUR FORMALER SPRACHEN 161 4.1 INTERPRETATION UND UEBERSETZUNG VON
PROGRAMMEN 161 4.2 ENDLICHE AUTOMATEN 166 4.3 REGULAERE AUSDRUECKE 171 4.4
CHOMSKY-GRAMMATIKEN 178 4.5 BACKUS-NAUR-FORM 185 4.6 SYNTAXANALYSE 192
4.7 UEBUNGEN 195 4.8 WIE ES WEITERGEHT 197 ABSCHLUSS: REQUIREMENTS
ENGINEERING 201 5.1 DIE FRUEHPHASE EINER SYSTEMENTWICKLUNG 201 5.2 DAS
AUFGABENSPEKTRUM 203 5.3 KLASSIFIZIERUNG DER ANFORDERUNGEN 204 5.4
ANFORDERUNGSMODELLIERUNG UND SYSTEMDESIGN 205 5.5 WIE ES WEITERGEHT 208
ANHANG 213 EINIGE MATHEMATISCHE BEGRIFFE 213 GESETZE DER BOOLESCHEN
ALGEBRA 21C GESETZE DERQUANTOREN 217 LOESUNGEN ZU ER-DIAGRAMMEN 218
LOESUNGEN ZU ALGEBRAISCHEN SPEZIFIKATIONEN 224 LOESUNGEN ZUR VERIFIKATION
230 LOESUNGEN ZU FORMALEN SPRACHEN 245 INDEX 253 INHALT
|
| any_adam_object | 1 |
| author | Broy, Manfred 1949- Steinbrüggen, Ralf |
| author_GND | (DE-588)109602137 |
| author_facet | Broy, Manfred 1949- Steinbrüggen, Ralf |
| author_role | aut aut |
| author_sort | Broy, Manfred 1949- |
| author_variant | m b mb r s rs |
| building | Verbundindex |
| bvnumber | BV017829112 |
| classification_rvk | ST 120 ST 230 |
| classification_tum | DAT 001f DAT 310f |
| ctrlnum | (OCoLC)76556730 (DE-599)BVBBV017829112 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02029nam a2200493 c 4500</leader><controlfield tag="001">BV017829112</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140403 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040205s2004 d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969256728</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540442928</subfield><subfield code="9">3-540-44292-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540442929</subfield><subfield code="9">978-3-540-44292-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76556730</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017829112</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-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">Manfred Broy ; Ralf Steinbrüggen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 256 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="e">CD-ROM (12 cm)</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="490" ind1="0" ind2=" "><subfield code="a">Xpert.press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">unveränderter Nachdruck ohne CD-ROM (extra Material über Springer-HP: extras.springer.com)</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="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="689" ind1="0" 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="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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steinbrüggen, Ralf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Mainz</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=010701793&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-010701793</subfield></datafield></record></collection> |
| id | DE-604.BV017829112 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:22:17Z |
| institution | BVB |
| isbn | 3540442928 9783540442929 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010701793 |
| oclc_num | 76556730 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-824 DE-573 DE-29T DE-703 DE-1050 DE-739 DE-473 DE-BY-UBG DE-384 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-824 DE-573 DE-29T DE-703 DE-1050 DE-739 DE-473 DE-BY-UBG DE-384 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | X, 256 S. graph. Darst. CD-ROM (12 cm) |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series2 | Xpert.press |
| spelling | Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Modellbildung in der Informatik Manfred Broy ; Ralf Steinbrüggen Berlin [u.a.] Springer 2004 X, 256 S. graph. Darst. CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Xpert.press unveränderter Nachdruck ohne CD-ROM (extra Material über Springer-HP: extras.springer.com) Informatik (DE-588)4026894-9 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Informatik (DE-588)4026894-9 s Modellierung (DE-588)4170297-9 s DE-604 Software Engineering (DE-588)4116521-4 s Steinbrüggen, Ralf Verfasser aut HEBIS Datenaustausch Mainz application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701793&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Broy, Manfred 1949- Steinbrüggen, Ralf Modellbildung in der Informatik Informatik (DE-588)4026894-9 gnd Modellierung (DE-588)4170297-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4170297-9 (DE-588)4116521-4 |
| title | Modellbildung in der Informatik |
| title_auth | Modellbildung in der Informatik |
| title_exact_search | Modellbildung in der Informatik |
| title_full | Modellbildung in der Informatik Manfred Broy ; Ralf Steinbrüggen |
| title_fullStr | Modellbildung in der Informatik Manfred Broy ; Ralf Steinbrüggen |
| title_full_unstemmed | Modellbildung in der Informatik Manfred Broy ; Ralf Steinbrüggen |
| title_short | Modellbildung in der Informatik |
| title_sort | modellbildung in der informatik |
| topic | Informatik (DE-588)4026894-9 gnd Modellierung (DE-588)4170297-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Informatik Modellierung Software Engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701793&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT broymanfred modellbildunginderinformatik AT steinbruggenralf modellbildunginderinformatik |