Höhere Petrinetze als Grundlage für Systemspezifikationen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
1996
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 484 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012001581 | ||
| 003 | DE-604 | ||
| 005 | 19980722 | ||
| 007 | t | ||
| 008 | 980610s1996 m||| 00||| gerod | ||
| 016 | 7 | |a 953207773 |2 DE-101 | |
| 035 | |a (OCoLC)60344467 | ||
| 035 | |a (DE-599)BVBBV012001581 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-355 |a DE-12 |a DE-29T |a DE-11 |a DE-188 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a DAT 335d |2 stub | ||
| 100 | 1 | |a Moldt, Daniel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Höhere Petrinetze als Grundlage für Systemspezifikationen |c vorgelegt von Daniel Moldt |
| 264 | 1 | |c 1996 | |
| 300 | |a VIII, 484 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Hamburg, Univ., Diss., 1996 | ||
| 650 | 0 | 7 | |a Objektorientierte Analyse |0 (DE-588)4504809-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Strukturierte Analyse |0 (DE-588)4274634-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statechart |0 (DE-588)4518597-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Strukturierte Analyse |0 (DE-588)4274634-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Objektorientierte Analyse |0 (DE-588)4504809-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Statechart |0 (DE-588)4518597-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008121014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008121014 | |
Datensatz im Suchindex
| _version_ | 1812453266542297088 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1 L
TBERBLICK 1
1 EINFUEHRUNG UND MOTIVATION 3
2 EINLEITUNG 5
2.1 MOTIVATION. 5
2.1.1 RELEVANTE PROBLEMSTELLUNGEN IN BISHERIGEN ANSAETZEN. 6
2.1.2 PETRINETZMHAERENTE PROBLEMSTELLUNGEN. 8
2.2 ZIELSETZUNGEN UND AUFBAU DER ARBEIT. 10
2.8 WESENTLICHE GRUNDANNAHMEN DIESER ARBEIT. 12
II GRUNDLEGENDE BEGRIFFE DER SYSTEMSPEZIFIKATION 19
3 SYSTEMSPEZIFIKATION UND IHR RAHMEN 21
3.1 DER RAHMEN DER SYSTEMSPEZIFIKATION. 21
3.1.1 OEKONOMISCHE RAHMENBEDINGUNGEN . 23
3.1.2 SOFT WAREENTWICKLUNGSMODELLE. 21
3.2 SYSTEMSPEZILIKATION. 2(I
3.2.1 BEGRIFFSUMFELD EINES ANSATZES. 20
3.2.2 HISTORIE VON SYSTEMSPOZIFIKATIONSANSAETZEII 33
4 PETRINETZE 37
YY
1.1 ALLGEMEINE EINFUEHRUNG. 37
-1.1.1 NETZE UND DIE FACETTEN EINES ANSATZES . 10
-1.1.2 GRAPHISCHE DARSTELLUNG. -11
-1.1.3 AUSWAHL DER NETZKLASSE . -13
4.2 NETZ-DEFINITIONEN. 41
1.2.1 DIE DEFINITION NICHT-HIERARCHISCHER NETZE NACH JENSON. 15
4.2.2 VERHALTEN DER GEFAERBTEN NETZE. 50
4.2.3 DIE DEFINITION HIERARCHISCHER NETZE NACH JENSEN. 52
4.2.4 ERWEITERUNGEN. 57
III
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/953207773
IV
IXHALTSYEIR/EK'HMS
III ABSTRAKTION UND SICHTEN 59
5 SICHTEN UND ABSTRAKTION IN. DER SYSTEMSPEZIFIKATION 61
5.1 DER
SICHTENBEGRIFF. 65
5.1.1 ABSTRAKTIONSARTEN. 65
5.1.2 SICHTENARTEN. 68
5.2 BEGRIFFE FUER DIE ERWEITERT ESSENTIELLE SPEZIFIKATION. 72
5.3 BEISPIEL ZUR TRADITIONELLEN CI.M-SICHT UND ALTERNATIVE
XETZDARSTELLUNG . 7FI
5.4 EIN SICHTENBASIERTER MODELLIERUNGSANSATZ FUI CD I-SYSTE.NE. 81
5.1.1 ERWEITERUNG DER SYSTEMSPEZIFIKATION F ; ST RUKT URIERTEN ANALYSE
. . 35
5.1.2 ANNAHMEN UEBER DIE VERWENDETEN MODELLE. SLI
5.4.3 METHODE DES CIM-SPEZIFIKATIONSANSATZES. 93
5.5 DISKUSSION. 102
IV STRUKTURIERTE ANALYSE 105
6 ANSATZ DER STRUKTURIERTEN ANALYSE 111
6.1 HISTORIE. 111
6.2 EINBETTUNG IN DEN SOFTWAREENTWICKLUNGSPROZESS. 113
6.3 METHODE UND GRUNDLEGENDE PHILOSOPHIE DER STRUKTURIERTEN ANALYSE .
114
6.4 DIE FACETTEN DER STRUKTURIERTEN ANALYSE. 119
6.4.1 TECHNIKEN. 120
6.4.2 METHODE. 121
6.4.3 WERKZEUGE. 122
6.4.4 ANWENDUNGEN. 123
6.4.5 RESSOURCEN . 124
6.5 FORMALE SEMANTIK DER TECHNIKEN DURCH NETZE . 125
7 FUNKTIONALES MODELL 127
7.1 DATENKONTEXT-DIAGRAMME . 128
7.1.1 AUFBAU VON DATENKONTEXT-DIAGRAMMEU. 128
7.1.2 ABBILDUNG AUF DATENKONTEXT-NETZE. 130
7.1.3 FORMALE DEFINITION EINES DATENKONTEXT-NETZES. 132
7.2 DATENFLUSS-DIAGRAMME . 134
7.2.1 AUFBAU VON DATENFLUSS-DIAGRAMMEN. 135
7.2.2 ABBILDUNG AUF DATENFLUSS-NETZE. 138
7.2.3 FORMALE DEFINITION EINES DATENFLUSS-NETZES. 140
7.3 PROZESS-SPEZIFIKATION . 143
7.3.1 AUFBAU VON PROZESS-SPEZIFIKATIONEN. 144
7.3.2 ABBILDUNG AUF PROZESS-SPEZIFIKATIONS-NETZE. 145
7.3.3 FORMALE DEFINITION EINES PROZESS-SPEZIFIKATIONS-NETZES. 146
7.4 HIERARCHIE DES FUNKTIONALEN MODELLS. 149
INHALTSVERZEICHNIS
V
7.4.1 AUFBAU DER HIERARCHIE. 150
7.4.2 ABBILDUNG AUF DATENFLUSS-MODELL-NETZE. 151
7.4.3 FORMALE DEFINITION EINES DATENFHISS-MODELL-NETZES. 152
7.5 DISKUSSION DES FUNKTIONALEN MODELLS. 157
7.5
1 ALLGEMEINE DISKUSSION DER DEFINITIONEN. 157
7.5.2 NUTZEN DER DEFINITIONEN FUER DIE STRUKTURIERTE ANALYSE UND DIE POT
RI
LLET ZE . 15| I
8 P*ETOTYPING MIT SZENARIEN-NETZEN 167
8.1 SA-PT-IDEE. KIS
S.2 KAUSALNOTZO.
175
8.2.1 (LEFAERBTE KAUSALNI'TZE. 175
8.2.2 HIERARCHISCHE GEFAERBTE KAUSALTIETZE. 176
8 3 L'NTEI-TEILUNG IN EINE HIERARCHIE VON NETZKLASSEN . ISO
3.3.1 ANFANG UND KNDE EINER REAKTION ISI
V3 2 PIOZESS SZENARIO-NETZ. 1S1
8.3.3 KREIGNIS-SZENARIETI- NET Z 155
8.3.1 SPEICHER-SZENARIEN-NETZ. ISO
5.3.5 AKTIVITAETEN-.NETZ. 1,S7
S. 3.6 SYSTEM-NETZ. ]S7
S.3.7 VORGEHEN HOI DER ANWENDUNG DOS SA-PT-ANSATZES . 192
8.1 WEITERE KONZEPTE. 1P1
8.5 DISKUSSION. L!TS
9 DYNAMISCHES MODELL 201
9.1 STEUERKONLEXT-DIAGRAMME 203
!YY. 1.1 AUFBAU VON SIEUERKONTEXT-DIAGRANIMEN. 203
9.1.2 ABBILDUNG AUF SIOUERKONTEXT-NETZT'. 205
9.1.3 FORMALE DEFINITION EINES STEUERKONTEXT-NCTZES. 205
9.2 STCUEI FLUSS I HAGI AMME. 207
9.2.1 AUFBAU VON STEUORFLUSS-DIAGRAMMCN. 205
9.2.2 ABBILDUNG AUF STEUERFLUSS-NETZE. 210
9 2 3 FORMALE DEFINITION EINES STEUERFLUSS-NETZES. 212
9.3 STEUER-SPEZIFIKATIONEN . 210
9.3.1 AUFBAU VON STEUER-SPEZIFIKATIONEN . 218
9.3.2 ABBILDUNG AUF STEUOR-SPEZIFIKATIONS-NETZC. 220
9.3.3 FORMALE DEFINITION EINES STEUER-SPEZIFIKATIONS-NOTZES. 223
9.1 HIERARCHIE DES DYNAMISCHEN MODELLS. 231
D. 1.1 AULBAU DM HIERAN LUE. 232
9.1.2 ABBILDUNG AUF ST EUERFLUSS-MODELL-NETZE. 232
9.1.3 FORMALE DEFINITION EINES STEUERFLUSS-MODELL-NETZES. 233
9.5 DISKUSSION DES DYNAMISCHEN MODELLS. 236
9.5.1 DARSTELLUNG DER VERBINDUNGEN. 237
VI
9.5.2 ABBILDUNG DER VERBINDUNGEN AUF NETZE
9.5.3 DISKUSSION DES STEUERFLUSS-MODELLS . . .
INHA LTS \ 'ERZEICHNIS
238
.
241
10 STATISCHES MODELL 247
10 1 KNTITY-RELATIONSHIP-DIAGRAMME ALS TECHNIK DER STRUKTURIERTEN
ANALYSE . . 218
10.2 KILTITAETEN UND BEZIEHUNGEN ALS ABSTRAKTE DATENTYPEN. 249
10.3 INFORMALE KRSETZUNG DER KRD DURCH NETZE . . . 253
10.4 DISKUSSION. 255
11 ZUSAMMENFASSUNG UND AUSBLICK 257
V STATECHARTS
261
12 STRUKTURIERTE ENDLICHE AUTOMATEN: STATECHARTS
12.1 KINFUEHRUUG IN DIE STATECHARTS.
12.2 BEGRIFFSUMFELD DER STATECHARTS.
12.3 FESTLEGUNG VON BEGRIFFEN.
12 4 BASIS-DEKOMPOSITIONEN.
12.1 1 MODOLLIERUNGSKONZEPTE LUER BASIS-DEKOMPOSIT IONEN.
12.4.2 ABBILDUNG AUF ENDLICHE AUTOMATEN.
12.4.3 ABBILDUNG VON BASIS-DEKOMPOSITIONEN AUF NETZE
12.5 ODER-DEKOMPOSIT IONEU.
12
. CL MODHIIERUNGSKONZEPTC DIR ODER-DEKOMPOSITIONEN.
12 I.2 ABBILDUNG AUF ENDLICHE AUTOMATEN.
12.-1.3 ABBILDUNG VON ODER-DEKOMPOSITIONEN AUF NETZE
12.(I 1 ND-DI KOMPOSIT UMEN
12.B 1 MODELLIENMGSKON/.EPT E FUER DUD-DEKOMPOSIT IONEN .
12.0.2 ABBILDUNG AUF ENDLICHE AUTOMATEN.
12.(I.D ABBILDUNG VON DUD-DEKOMPOSIT IONEN AUF NETZE.
12.7 ZUSTANDSHIERARCHIE.
12.7.1 HIERARCHIEKOIIZEPLE.
12.1.2 MODELLIERUNG DER HIERARCHIE MIT NETZEN.
12.8 DISKUSSION DER 1 BERTRAGUNG VON STATECHARTS AUF NETZE .
122) OBJEKTORIENT IERTE STATECHARTS .
12.9.1 SOFTWARETECHNISCHE ASPEKTE VON STATECHARTS.
12.9.2 VERWENDUNG VON STATECHARTS IN DER OBJEKTORIENT IERTEN ANALVSE
123).3 OBJEKTORIENT IERTR ST RUKI URIERUNG .
YYYY
:! S AT ECHA."T S
12.9.1 STATECHART-OBJEKTE IN NETZDARSTELLUM: .
12.9.5 DISKUSSION.
263
264
265
268
272
272
276
278
28 1
281
290
291
299
299
301
300
311
311
313
317
320
321
334
337
13 ZUSAMMENFASSUNG
IMIALTSYETTZEICH.XLS
VII
VI OBJEKTORIENTIERTE ANALYSE 339
14 OBJEKTORIENTIERTE KONZEPTE UND PETRINETZE 343
14.1 GRUNDLEGENDE KONZEPTE .346
14.1.1 DAS OBJEKT.346
14.1.2 DIE KLASSE. 350
14.1.3 NACHRICHTEN.354
14.1.4 METHODEN.357
14.2 ASSOZIATIONEN.362
14.2.1 ASSOZIATIONEN ALS KLASSEN .362
14.2.2 MU 1 TIPLIZIT-AET.365
14.2.3 EINFACHE ASSOZIATIONEN. 368
14.2.4 AGGREGATION.368
14.3 VERERBUNG. 369
14.3.1 PROGRAMMIERSPRACHLICHE VERERBUNGSKONZEPTE.369
14.3.2 DARSTELLUNG DER VERERBUNG MIT NETZEN .371
14.3.3 METHODENAUFRUF BEI EINEM ERBENDEN OBJEKT.372
14.3.4 ERZEUGEN VON OBJEKTEN BEI VERERBUNG .377
14.3.5 ZUGRIFF AUF INSTANZVARIABLEN BEI VERERBUNG.381
14.3.6 AUFLOESUNG EINER SELF-REFERENZ .382
14.3.7 BEISPIEL: NACHRICLIT.ENPROTOKOLL BEI SELF-REFERENZ.383
14.3.8 VERERBUNG VON ASSOZIATIONEN. 386
15 OBJEKTORIENTIERTE SPEZIFIKATION MIT CP-NETZEN 389
15.1 GRUNDKONZEPTE. 389
15.1.1 UNTERSCHIEDE ZU BESTEHENDEN ANSAETZEN. 390
15.1.2 DER RAHMEN.392
15.1.3 DIE FACETTE DER RESSOURCEN.392
15.1.4 DIE FACETTE DER ANWENDUNGEN.393
15.1.5 DIE FACETTE DER WERKZEUGE.394
15.1.6 DIE FACETTE DER TECHNIKEN.394
15.2 DIE MET HODE.395
15.2.1 ALLGEMEINES VORGEHEN . 395
15.2.2 FEST LEGEN DES KONTEXTES UND DER SCHNITTSTELLE NACH AUSSEN.396
15.2.3 DAS STATISCHE MODELL DER OBJEKTORIENTIERTEN ANALYSE . 399
15.2.4 DAS DYNAMISCHE MODELL DER OBJEKTORIENTIERTEN ANALYSE.400
15.2.5 DAS FUNKTIONALE MODELL DER OBJEKTORIENTIERTEN ANALYSE.402
15.2.6 INTEGRATION DER MODELLE. 403
15.2.7 UEBERGANG ZUM ENTWURF UND ZUR IMPLEMENTATION. 404
15.2.8 PROTOTYPING.405
15.2.9 VERTEILTE SIMULATION.406
15.3 DISKUSSION DES ANSATZES.406
15.4 DAS VORGEHEN - EIN BEISPIEL .407
L.SHA L'I'S
\ 'EIVZEI ('1 ISIS
VIII
15.4.1 DAS STATISCHE MODELL. 108
15.4DAS DYNAMISCHE MODELL .408
15.4.3 DAS FUNKTIONALE MODELL. 410
15.4.4 INTEGRATION IM STATISCHEN MODELL. 410
15.4.5 DISKUSSION.411
16 NETZBEZOGENE ASPEKTE 415
16.1 NEBENLAEUFIGKEIT. 415
16.1.1 MOEGLICHKEITEN ZUR NEBENLAEUFIGEN AUSFUEHRUNG. 416
16.1.2 SYNCHRONISATION. 417
16.1.3 VERMEIDUNG VON VERKLEMMUNGEN.417
16.1.4 ERHOEHUNG DER NEBENLAEUFIGKEIT.418
16.2 SCHALTREGEL.420
16.2.1 PRODUKTIVE SCHALLREGEL. 421
16.2.2 FAIRE SCHALTREGEL . 423
16.2.3 REALISIERUNG DER SCHALTREGELN MIT DESIGN/C'PX. 425
16.3 COMPUTERGESTUETZTE WERKZEUGE. 425
16.3.1 EDITOR. 426
16.3.2 SIMULATOR.427
16.3.3 ANALYSATOR. 428
16.3.4 CODEGENERATOR.429
16.3.5 ANIMATOR . 430
16.3.6 REPOSITORY. 430
17 ZUSAMMENFASSUNG 431
VII ZUSAMMENFASSUNG UND AUSBLICK 435
18 ZUSAMMENFASSUNG UND AUSBLICK 437
18.1 ZUSAMMENFASSUNG. 437
18.2 SCHLUSSWORT UND AUSBLICK. 441
LITERATURVERZEICHNIS 443
A SPEZIFIKATION EINER ALARMUHR
471 |
| any_adam_object | 1 |
| author | Moldt, Daniel |
| author_facet | Moldt, Daniel |
| author_role | aut |
| author_sort | Moldt, Daniel |
| author_variant | d m dm |
| building | Verbundindex |
| bvnumber | BV012001581 |
| classification_tum | DAT 516d DAT 335d |
| ctrlnum | (OCoLC)60344467 (DE-599)BVBBV012001581 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012001581</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980722</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980610s1996 m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953207773</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)60344467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012001581</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moldt, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Höhere Petrinetze als Grundlage für Systemspezifikationen</subfield><subfield code="c">vorgelegt von Daniel Moldt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 484 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">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="502" ind1=" " ind2=" "><subfield code="a">Hamburg, Univ., Diss., 1996</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Analyse</subfield><subfield code="0">(DE-588)4504809-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Strukturierte Analyse</subfield><subfield code="0">(DE-588)4274634-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="650" ind1="0" ind2="7"><subfield code="a">Statechart</subfield><subfield code="0">(DE-588)4518597-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Strukturierte Analyse</subfield><subfield code="0">(DE-588)4274634-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Objektorientierte Analyse</subfield><subfield code="0">(DE-588)4504809-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Statechart</subfield><subfield code="0">(DE-588)4518597-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=008121014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008121014</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV012001581 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T16:08:47Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008121014 |
| oclc_num | 60344467 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-12 DE-29T DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-12 DE-29T DE-11 DE-188 |
| physical | VIII, 484 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| spelling | Moldt, Daniel Verfasser aut Höhere Petrinetze als Grundlage für Systemspezifikationen vorgelegt von Daniel Moldt 1996 VIII, 484 S. txt rdacontent n rdamedia nc rdacarrier Hamburg, Univ., Diss., 1996 Objektorientierte Analyse (DE-588)4504809-5 gnd rswk-swf Strukturierte Analyse (DE-588)4274634-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Statechart (DE-588)4518597-9 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Petri-Netz (DE-588)4045388-1 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Strukturierte Analyse (DE-588)4274634-6 s Objektorientierte Analyse (DE-588)4504809-5 s Statechart (DE-588)4518597-9 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008121014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Moldt, Daniel Höhere Petrinetze als Grundlage für Systemspezifikationen Objektorientierte Analyse (DE-588)4504809-5 gnd Strukturierte Analyse (DE-588)4274634-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Statechart (DE-588)4518597-9 gnd Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4504809-5 (DE-588)4274634-6 (DE-588)4056186-0 (DE-588)4518597-9 (DE-588)4045388-1 (DE-588)4113937-9 |
| title | Höhere Petrinetze als Grundlage für Systemspezifikationen |
| title_auth | Höhere Petrinetze als Grundlage für Systemspezifikationen |
| title_exact_search | Höhere Petrinetze als Grundlage für Systemspezifikationen |
| title_full | Höhere Petrinetze als Grundlage für Systemspezifikationen vorgelegt von Daniel Moldt |
| title_fullStr | Höhere Petrinetze als Grundlage für Systemspezifikationen vorgelegt von Daniel Moldt |
| title_full_unstemmed | Höhere Petrinetze als Grundlage für Systemspezifikationen vorgelegt von Daniel Moldt |
| title_short | Höhere Petrinetze als Grundlage für Systemspezifikationen |
| title_sort | hohere petrinetze als grundlage fur systemspezifikationen |
| topic | Objektorientierte Analyse (DE-588)4504809-5 gnd Strukturierte Analyse (DE-588)4274634-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Statechart (DE-588)4518597-9 gnd Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Objektorientierte Analyse Strukturierte Analyse Softwarespezifikation Statechart Petri-Netz Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008121014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT moldtdaniel hoherepetrinetzealsgrundlagefursystemspezifikationen |