Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 295 - 314 |
| Beschreibung: | XII, 325 S. graph. Darst. |
| ISBN: | 3540643915 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012096818 | ||
| 003 | DE-604 | ||
| 005 | 20041019 | ||
| 007 | t | ||
| 008 | 980728s1998 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 954067657 |2 DE-101 | |
| 020 | |a 3540643915 |9 3-540-64391-5 | ||
| 035 | |a (OCoLC)833383272 | ||
| 035 | |a (DE-599)BVBBV012096818 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-29T |a DE-M347 |a DE-862 |a DE-706 |a DE-521 |a DE-522 |a DE-526 |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.758 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 237 |0 (DE-625)143623: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a DAT 335f |2 stub | ||
| 100 | 1 | |a Partsch, Helmuth |d 1950- |e Verfasser |0 (DE-588)123390125 |4 aut | |
| 245 | 1 | 0 | |a Requirements-Engineering systematisch |b Modellbildung für softwaregestützte Systeme |c Helmuth Partsch |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a XII, 325 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 295 - 314 | ||
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Software architecture | |
| 650 | 4 | |a Software engineering |x Computer simulation | |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008192301&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008192301 | ||
Datensatz im Suchindex
| DE-BY-862_location | 2000 |
|---|---|
| DE-BY-FWS_call_number | 2000/ST 237 P275 |
| DE-BY-FWS_katkey | 275420 |
| DE-BY-FWS_media_number | 083000395812 |
| _version_ | 1806174475945771008 |
| adam_text | HELMUTH PARTSCH REQUIREMENTS-ENGINEERING SYSTEMATISCH MODELLBILDUNG FUER
SOFTWAREGESTUETZTE SYSTEME MIT 301 ABBILDUNGEN SPRINGER INHALT 1
EINLEITUNG 1 1.1 INGENIEURMAESSIGE ERSTELLUNG VON SOFTWARE 1 1.2
FEHLENTWICKLUNGEN DURCH UNVERSTANDENE PROBLEMSTELLUNG 9 1.3 DAS
KOMMUNIKATIONSPROBLEM 11 1.4 ZIELSETZUNG DES REQUIREMENTS-ENGINEERING 13
1.5 VORSCHAU AUF DIE FOLGENDEN KAPITEL 15 2 BEGRIFFLICHE GRUNDLAGEN 17
2.1 PRAEZISIERUNG DER GRUNDLEGENDEN BEGRIFFE 17 2.1.1
REQUIREMENTS-ENGINEERING 17 2.1.2 ANFORDERUNGEN 22 2.1.3
ANFORDERUNGSDOKUMENT 26 2.2 PRINZIPIELLE VORGEHENSWEISE 27 2.2.1
ERMITTLUNG VON ANFORDERUNGEN 27 2.2.2 BESCHREIBUNG DER ANFORDERUNGEN 29
2.2.3 ANALYSE DER ANFORDERUNGSBESCHREIBUNG 34 2.3 THEMEN DES
REQUIREMENTS-ENGINEERING 37 2.3.1 MAENGEL UND FEHLER IN DER
ANFORDERUNGSDEFINITION 37 2.3.2 BESCHREIBUNGSMITTEL 39 2.3.3 METHODIK 41
2.3.4 WERKZEUGE 44 2.4 GRUNDLAGE FUER EINE VERGLEICHENDE BETRACHTUNG 46
2.4.1 EIN GEMEINSAMES BEISPIEL 46 2.4.2 ASPEKTE FUER DIE
CHARAKTERISIERUNG VERSCHIEDENER ANSAETZE 48 2.4.3 BEWERTUNGSKRITERIEN 49
2.4.4 DIE BESONDERE ROLLE DER (FORMALEN) PRAEZISION 50 3 FORMALISMEN UND
KONZEPTE 53 3.1 TEXTUELLE DARSTELLUNGEN 55 3.2 SYSTEM-UND
KOMPONENTENSTRUKTUREN 58 3.2.1 PIKTOGRAMME 60 3.2.2
DEKOMPOSITIONSDIAGRAMME 60 3.2.3 STRUKTURGRAPHEN 62 3.2.4
JACKSON-DIAGRAMME 63 3.2.5 GRAMMATIKEN UND REGULAERE AUSDRUECKE 65 X
INHALT 3.2.6 RELATIONALE ANSAETZE, ER-DIAGRAMME, SEMANTISCHE
DATENMODELLIERUNG . 69 3.2.7 LOGISCHE FORMALISMEN 76 3.2.8
ZUSAMMENFASSUNG 79 3.3 ABLAEUFE UND FUNKTIONALES VERHALTEN 81 3.3.1
FUNKTIONSBAEUME, JACKSON-DIAGRAMME, PFAD-AUSDRUECKE 81 3.3.2
ABLAUFDIAGRAMME 82 3.3.3 PROGRAMMABLAUFPLAENE, STRUKTOGRAMME 83 3.3.4
DATENFLUSSPLAENE 87 3.3.5 INTERAKTIONSDIAGRAMME, SZENARIEN 89 3.3.6
FUNKTIONALE BESCHREIBUNG 91 3.3.7 LOGISCHE BESCHREIBUNGEN 95 3.3.8
ZUSAMMENFASSUNG 96 3.4 KONTROLLASPEKTE, STEUERUNG 97 3.4.1
ENTSCHEIDUNGSBAEUME 98 3.4.2 ENTSCHEIDUNGS-UND EREIGNISTABELLEN 99 3.4.3
ZUSTANDSAUTOMATEN 103 3.4.4 HIERARCHISCHE AUTOMATEN 109 3.4.5 PETRINETZE
115 3.4.6 STIMULUS-RESPONSE-FOLGEN, STIMULUS-RESPONSE-NETZE 122 3.4.7
EREIGNIS-AUSDRUCKE, CSP 125 3.4.8 ZUSAMMENFASSUNG 128 3.5 KOMBINIERTE
FORMALISMEN 130 3.5.1 OBJEKTORIENTIERUNG 130 3.5.2
ALGEBRAISCH-AXIOMATISCHE BESCHREIBUNG 135 3.5.3 MODELLBASIERTE
BESCHREIBUNG 141 3.5.4 ZUSAMMENFASSUNG 150 3.6 ZEITASPEKTE 151 3.6.1
ZEITASPEKTE VON DATEN, SIGNALEN UND EREIGNISSEN 152 3.6.2 ZEITASPEKTE
VON OPERATIONEN UND PROZESSEN 153 3.6.3 AUTOMATEN MIT ZEITANGABEN 155
3.6.4 TEMPORAL-LOGISCHE BESCHREIBUNG, REALTIME-LOGIK 164 3.6.5
ZUSAMMENFASSUNG 167 4 STRUKTURIERTE METHODEN 169 4.1 SADT 169 4.1.1
GRUNDKONZEPTION 169 4.1.2 METHODIK 175 4.1.3 ABSCHLIESSENDE BEMERKUNGEN
176 4.2 SA 177 4.2.1 GRUNDKONZEPTION 177 4.2.2 METHODIK 186 4.2.3
ABSCHLIESSENDE BEMERKUNGEN 190 4.3 MSA 192 4.3.1 GRUNDKONZEPTION 193
4.3.2 METHODIK 197 4.3.3 ABSCHLIESSENDE BEMERKUNGEN 200 INHALT XI 4.4
SA/RT 201 4.4.1 GRUNDKONZEPTION 202 4.4.2 PROZESSSTEUERUNG DURCH
KONTROLLSPEZIFIKATIONEN 204 4.4.3 WEITERE KONZEPTE 208 4.4.4 METHODIK
208 4.4.5 ABSCHLIESSENDE BEMERKUNGEN 210 4.5 ZUSAMMENFASSUNG 211 5
OBJEKTORIENTIERTE METHODEN 213 5.1 OOA 213 5.1.1 GRUNDKONZEPTION 213
5.1.2 METHODIK ., 219 5.1.3 ABSCHLIESSENDE BEMERKUNGEN 221 5.2 OMT 223
5.2.1 GRUNDKONZEPTION 223 5.2.2 METHODIK 232 5.2.3 ABSCHLIESSENDE
BEMERKUNGEN 234 5.3 FUSION 235 5.3.1 GRUNDKONZEPTION 236 5.3.2 METHODIK
240 5.3.3 ABSCHLIESSENDE BEMERKUNGEN 243 5.4 WEITERE OO-ANSAETZE 244 5.4.1
GRUNDKONZEPTION VON OOSE 244 5.4.2 METHODIK 247 5.4.3 ABSCHLIESSENDE
BEMERKUNGEN 248 5.5 UML 249 5.5.1 MODELLUEBERGREIFENDE KONZEPTE 250 5.5.2
KLASSENDIAGRAMME 253 5.5.3 ANWENDUNGSFALLDIAGRAMME 263 5.5.4
SEQUENZDIAGRAMME 264 5.5.5 ZUSAMMENARBEITSDIAGRAMME 266 5.5.6
ZUSTANDSDIAGRAMME 269 5.5.7 AKTIVITAETSDIAGRAMME 270 5.5.8 TABELLARISCHE
DARSTELLUNGEN 272 5.5.9 ZUSAMMENHAENGE ZWISCHEN DEN
BESCHREIBUNGSMOEGLICHKEITEN 273 5.5.10 EINE MOEGLICHE VORGEHENSWEISE 275
5.5.11 ABSCHLIESSENDE BEMERKUNGEN 276 5.6 ZUSAMMENFASSUNG 277 6
ZUSAMMENFASSUNG UND AUSBLICK 279 6.1 *GESCHICHTE DES RE 279 6.2 ANDERE
ANSAETZE 280 6.3 GEGENUEBERSTELLUNG STRUKTURIERTER UND OBJEKTORIENTIERTER
ANSAETZE 285 6.4 AUSBLICK 291 XU INHALT LITERATUR 295 INDEX 315
|
| any_adam_object | 1 |
| author | Partsch, Helmuth 1950- |
| author_GND | (DE-588)123390125 |
| author_facet | Partsch, Helmuth 1950- |
| author_role | aut |
| author_sort | Partsch, Helmuth 1950- |
| author_variant | h p hp |
| building | Verbundindex |
| bvnumber | BV012096818 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 237 |
| classification_tum | DAT 335f |
| ctrlnum | (OCoLC)833383272 (DE-599)BVBBV012096818 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01696nam a2200433 c 4500</leader><controlfield tag="001">BV012096818</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041019 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980728s1998 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954067657</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540643915</subfield><subfield code="9">3-540-64391-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)833383272</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012096818</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758</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">ST 237</subfield><subfield code="0">(DE-625)143623:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Partsch, Helmuth</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123390125</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Requirements-Engineering systematisch</subfield><subfield code="b">Modellbildung für softwaregestützte Systeme</subfield><subfield code="c">Helmuth Partsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 325 S.</subfield><subfield code="b">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">Literaturverz. S. 295 - 314</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="x">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</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">HEBIS Datenaustausch Darmstadt</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=008192301&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-008192301</subfield></datafield></record></collection> |
| id | DE-604.BV012096818 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T10:50:08Z |
| institution | BVB |
| isbn | 3540643915 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008192301 |
| oclc_num | 833383272 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-M347 DE-862 DE-BY-FWS DE-706 DE-521 DE-522 DE-526 DE-634 DE-83 DE-11 |
| owner_facet | DE-739 DE-29T DE-M347 DE-862 DE-BY-FWS DE-706 DE-521 DE-522 DE-526 DE-634 DE-83 DE-11 |
| physical | XII, 325 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Partsch, Helmuth 1950- Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme Computer software Development Software architecture Software engineering Computer simulation Requirements engineering (DE-588)4213997-1 gnd |
| subject_GND | (DE-588)4213997-1 |
| title | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme |
| title_auth | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme |
| title_exact_search | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme |
| title_full | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme Helmuth Partsch |
| title_fullStr | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme Helmuth Partsch |
| title_full_unstemmed | Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme Helmuth Partsch |
| title_short | Requirements-Engineering systematisch |
| title_sort | requirements engineering systematisch modellbildung fur softwaregestutzte systeme |
| title_sub | Modellbildung für softwaregestützte Systeme |
| topic | Computer software Development Software architecture Software engineering Computer simulation Requirements engineering (DE-588)4213997-1 gnd |
| topic_facet | Computer software Development Software architecture Software engineering Computer simulation Requirements engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008192301&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT partschhelmuth requirementsengineeringsystematischmodellbildungfursoftwaregestutztesysteme |
Inhaltsverzeichnis
Schweinfurt Zentralbibliothek Lesesaal
| Signatur: |
2000 ST 237 P275 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |