Pattern- and component-based development of dependable systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Baden-Baden
Dt. Wiss.-Verl.
2012
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | 292 S. graph. Darst. 24 cm |
| ISBN: | 9783868880496 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041777432 | ||
| 003 | DE-604 | ||
| 005 | 20140508 | ||
| 007 | t | ||
| 008 | 140403s2012 gw d||| m||| 00||| eng d | ||
| 015 | |a 12,N35 |2 dnb | ||
| 015 | |a 14,A13 |2 dnb | ||
| 015 | |a 14,H04 |2 dnb | ||
| 016 | 7 | |a 1025235827 |2 DE-101 | |
| 020 | |a 9783868880496 |c kart. : EUR 39.95 (DE), EUR 41.40 (AT), sfr 69.90 (freier Pr.) |9 978-3-86888-049-6 | ||
| 024 | 3 | |a 9783868880496 | |
| 035 | |a (OCoLC)879261808 | ||
| 035 | |a (DE-599)DNB1025235827 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-473 |a DE-739 | ||
| 082 | 0 | |a 005 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Hatebur, Denis |e Verfasser |0 (DE-588)1026786479 |4 aut | |
| 245 | 1 | 0 | |a Pattern- and component-based development of dependable systems |c Denis Hatebur |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Baden-Baden |b Dt. Wiss.-Verl. |c 2012 | |
| 300 | |a 292 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Duisburg, Essen, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a UML |0 (DE-588)4469781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurfsmuster |0 (DE-588)4546895-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Vertrauenswürdigkeit |0 (DE-588)4209886-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Vertrauenswürdigkeit |0 (DE-588)4209886-5 |D s |
| 689 | 0 | 3 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 0 | 4 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 5 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 0 | 6 | |a Entwurfsmuster |0 (DE-588)4546895-3 |D s |
| 689 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 0 | 8 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 0 | 9 | |a UML |0 (DE-588)4469781-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4102323&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=027223314&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027223314 | |
Datensatz im Suchindex
| _version_ | 1806327584877707264 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
1 INTRODUCTION 1
2 BASIC CONCEPTS 3
2.1 DEPENDABILITY CONCEPTS AND TERMINOLOGY 3
2.2 AGENDA CONCEPT 4
2.3 CONTEXT DIAGRAMS 4
2.4 PROBLEM FRAMES 5
2.5 UML DIAGRAMS 8
2.6 UMLSEC 8
2.7 OCL - OBJECT CONSTRAINT LANGUAGE 9
2.8 ARCHITECTURES AND ARCHITECTURAL STYLES 10
3 BASIC DEVELOPMENT PROCESS 1 3
3.1 EXTENDED ADIT OVERVIEW 13
3.1.1 ANALYSIS PHASES 14
3.1.2 DESIGN PHASES 16
3.1.3 IMPLEMENTATION PHASE 17
3.1.4 TEST PHASES 17
3.2 CASE STUDY 18
3.3 RELATED WORK 18
3.4 CONCLUSION 18
4 UML PROFILE FOR REQUIREMENTS ENGINEERING 2 1
4.1 UML EXTENSION FOR JACKSON DIAGRAMS 22
4.1.1 DIAGRAM TYPES 23
4.1.2 ASSOCIATIONS AND INTERFACE CLASSES 23
4.1.3 CONTEXT DIAGRAMS 25
4.1.4 PROBLEM DIAGRAMS 27
4.1.5 CHECKING THE CONSISTENCY BETWEEN PROBLEM DIAGRAMS AND CONTEXT
DIAGRAM . 29 4.1.6 PROBLEM FRAMES 31
4.1.7 CHECKING THE CORRECT INSTANTIATION OF PROBLEM FRAMES 32
4.1.8 GENERAL OCL CONSTRAINTS 34
4.2 UML4PF - TOOL REALIZATION 35
4.3 CACC CASE STUDY 41
4.4 RELATED WORK 47
4.5 CONCLUSIONS AND FUTURE WORK 48
5 EXPRESSING DEPENDABILITY REQUIREMENTS 4 9
5.1 PROFILE EXTENSION TO DESCRIBE DEPENDABILITY 50
5.1.1 CONFIDENTIALITY 51
5.1.2 INTEGRITY 54
HTTP://D-NB.INFO/1025235827
IMAGE 2
5.1.3 AVAILABILITY 58
5.1.4 RELIABILITY 61
5.1.5 AUTHENTICITY 62
5.1.6 SECURITY MANAGEMENT 64
5.1.7 SECRET DISTRIBUTION 66
5.2 PROCEDURE TO USE THE DEPENDABILITY EXTENSION 67
5.3 CACC CASE STUDY 68
5.3.1 IDENTIFY HAZARDS AND THREATS, PERFORM RISK ANALYSIS 68
5.3.2 DESCRIBE ENVIRONMENT 68
5.3.3 DESCRIBE DEPENDABILITY REQUIREMENTS 68
5.4 RELATION TO SECURITY PROBLEM FRAMES 71
5.5 RELATED WORK 73
5.6 CONCLUSIONS AND FUTURE WORK 75
6 ANALYSIS O F DEPENDABILITY REQUIREMENTS 7 7
6.1 CONSTRUCTION SYSTEM 77
6.1.1 CONFIDENTIALITY 78
6.1.2 INTEGRITY 79
6.1.3 AVAILABILITY 80
6.1.4 RELIABILITY 81
6.1.5 AUTHENTICITY 82
6.1.6 SECURITY MANAGEMENT 84
6.1.7 SECRET DISTRIBUTION 84
6.2 WORKING WITH DEPENDABILITY REQUIREMENT PATTERNS 85
6.3 CACC CASE STUDY 87
6.3.1 SELECT APPROPRIATE GENERIC MECHANISMS 87
6.3.2 INSPECT POSSIBLE INTERACTIONS 87
6.3.3 INTRODUCE OR CONSIDER ADDITIONAL DOMAINS 87
6.3.4 INSPECT NECESSARY CONDITIONS 88
6.3.5 CONSIDER ALL RELEVANT DOMAINS 91
6.3.6 SELECT APPROPRIATE GENERIC MECHANISMS (TO FULFILL CONDITIONS) 92
6.3.7 INTRODUCE OR CONSIDER ADDITIONAL DOMAINS (TO FULFILL CONDITIONS)
92
6.3.8 INSPECT NECESSARY CONDITIONS (TO FULFILL CONDITIONS) 92
6.3.9 CONSIDER ALL RELEVANT DOMAINS (TO FULFILL CONDITIONS) 93
6.3.10 EXTENDED ENVIRONMENT DESCRIPTION 93
6.4 RELATED WORK 93
6.5 CONCLUSIONS AND FUTURE WORK 94
7 DEVELOPMENT OF SPECIFICATIONS FOR DEPENDABLE SYSTEMS 9 5
7.1 DERIVE AND VERIFY SPECIFICATION FOR FUNCTIONAL REQUIREMENTS 96
7.2 EXPRESS SPECIFICATIONS AND FUNCTIONAL REQUIREMENTS 97
7.3 FROM SECURITY REQUIREMENTS TO UMLSEC SPECIFICATIONS 104
7.3.1 UMLSEC DEPLOYMENT DIAGRAMS FOR ENVIRONMENT DESCRIPTIONS 104
7.3.2 UMLSEC CLASS AND SEQUENCE DIAGRAMS FOR SECURITY MECHANISM
DESCRIPTIONS . . 107 7.3.3 TOOL DESIGN 110
7.4 RELATED WORK I L L
7.5 CONCLUSIONS AND FUTURE WORK I L L
8 SYSTEMATIC ARCHITECTURAL DESIGN BASED ON PROBLEM PATTERNS 1 1 3
8.1 ARCHITECTURAL DESCRIPTIONS 114
IMAGE 3
8.2 DERIVING ARCHITECTURES FROM PROBLEM DESCRIPTIONS 115
8.2.1 STARTING POINT 115
8.2.2 INITIAL ARCHITECTURE 116
8.2.3 IMPLEMENTABLE ARCHITECTURE 121
8.2.4 LAYERED ARCHITECTURE 124
8.3 RELATED WORK 126
8.4 CONCLUSIONS AND FUTURE WORK 127
9 DEVELOPMENT OF ARCHITECTURES FOR DEPENDABLE SYSTEMS 1 2 9
9.1 DERIVING QUALITY-BASED ARCHITECTURES 130
9.1.1 CHOOSE DESIGN ALTERNATIVE 130
9.1.2 SPLIT PROBLEM DIAGRAMS 130
9.1.3 SPLIT QUALITY REQUIREMENTS 131
9.1.4 INITIAL ARCHITECTURE 132
9.1.5 CONCRETIZED QUALITY PROBLEM DIAGRAMS 133
9.1.6 IMPLEMENTABLE ARCHITECTURE 133
9.1.6.1 MERGE COMPONENTS 133
9.1.6.2 APPLY DESIGN PATTERNS AND QUALITY PATTERNS 133
9.1.7 LAYERED ARCHITECTURE 135
9.2 RELATED WORK 137
9.3 CONCLUSION 137
10 IMPLEMENTING DEPENDABLE SYSTEMS 1 3 9
10.1 IMPLEMENTATION OF COMPONENTS 139
10.2 IMPLEMENTATION OF SECURE SOFTWARE 144
10.3 IMPLEMENTATION OF SAFE AND RELIABLE SOFTWARE 144
10.4 CONCLUSIONS AND FUTURE WORK 146
11 TESTING OF DEPENDABLE SYSTEMS 1 4 7
11.1 AUTOMATIC TEST CASE GENERATION USING UML-MODELS 147
11.2 PATTERNS FOR MODELING REQUIREMENTS AND ENVIRONMENT FOR TESTING 149
11.2.1 SINGLE EVENT - IN STATE 150
11.2.2 MULTIPLE STATES, SINGLE EVENT - OUTPUT EVENT 150
11.2.3 MULTIPLE STATES - OUTPUT EVENT 152
11.2.4 MULTIPLE STATES - NO EVENT 152
11.2.5 OTHER COMBINATIONS, E.G., SINGLE EVENT - NOT IN STATE 153
11.3 TOOL SUPPORT FOR AUTOMATIC TEST CASE GENERATION USING UML-MODELS
154
11.4 CACC CASE STUDY 155
11.5 RELATED WORK 162
11.6 CONCLUSIONS AND FUTURE WORK 162
12 RELATION T O STANDARDS 1 6 5
12.1 COMMON CRITERIA 165
12.2 IEC 61508 167
12.3 CONCLUSION 169
13 CASE STUDY 1 7 1
13.1 STEP A1 - PROBLEM ELICITATION AND DESCRIPTION 171
13.2 STEP A2 - PROBLEM DECOMPOSITION 173
13.3 STEP A3 - ABSTRACT MACHINE SPECIFICATION 179
13.4 STEP A4 - TECHNICAL CONTEXT DIAGRAM 184
IMAGE 4
13.5 STEP A5 - OPERATIONS AND D A T A SPECIFICATION 184
13.6 STEP A6 - MACHINE LIFE-CYCLE 187
13.7 STEP D L A - INITIAL ARCHITECTURE 187
13.8 STEP D L B - IMPLEMENTABLE ARCHITECTURE 190
13.9 STEP D I E - RE-STRUCTURE SOFTWARE ARCHITECTURE 192
13.10STEP D2 - INTER-COMPONENT INTERACTION 194
13.11 STEP D3 - INTRA-COMPONENT INTERACTION 198
13.12STEP D4 - COMPLETE COMPONENT OR CLASS BEHAVIOR 198
13.13STEP I I - STEP T 3 199
14 CONCLUSIONS AND FUTURE WORK 2 0 1
14.1 CONCLUSIONS 201
14.2 FUTURE WORK 203
14.2.1 HAZARD, THREAT, AND VULNERABILITY ANALYSES 203
14.2.2 PROBLEM FRAME APPROACH 203
14.2.3 DEVELOPMENT OF FURTHER REQUIREMENTS PATTERNS 203
14.2.4 PATTERN SYSTEM FOR DEPENDABILITY REQUIREMENTS 203
14.2.5 SPECIFICATION OF DEPENDABLE SYSTEMS 204
14.2.6 ARCHITECTURE OF DEPENDABLE SYSTEMS 204
14.2.7 INTERFACE BEHAVIOR DESCRIPTION OF COMPONENTS 204
14.2.8 IMPLEMENTATION OF DEPENDABLE SYSTEMS 204
14.2.9 TESTING 204
14.2.10 STANDARDS FOR DEPENDABLE SYSTEMS 204
14.2.11 VALIDIATION OF THE PROCESS 205
A ADIT STEPS 2 0 7
A.L STEP AL: PROBLEM ELICITATION AND DESCRIPTION 207
A.1.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 207
A.1.2 PROCEDURE 207
A.2 STEP A2: PROBLEM DECOMPOSITION 208
A.2.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 208
A.2.2 PROCEDURE 208
A.3 STEP A3: ABSTRACT MACHINE SPECIFICATION 209
A.3.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 209
A.3.2 PROCEDURE 209
A.4 STEP A4: TECHNICAL CONTEXT DIAGRAM 210
A.4.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 210
A.4.2 PROCEDURE 210
A.5 STEP A5: OPERATIONS AND D A T A SPECIFICATION 211
A.5.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 211
A.5.2 PROCEDURE 211
A.6 STEP A6: MACHINE LIFE-CYCLE 212
A.6.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 212
A.6.2 PROCEDURE 212
A.7 STEP DLA: INITIAL ARCHITECTURE 213
A.7.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 213
A.7.2 PROCEDURE 213
A.8 STEP D L B : IMPLEMENTABLE ARCHITECTURE 215
A.8.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 215
A.8.2 PROCEDURE 215
IMAGE 5
A.9 STEP DIE: RE-STRUCTURE SOFTWARE ARCHITECTURE 215
A.9.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 215
A.9.2 PROCEDURE 216
A.10 STEP D2: INTER-COMPONENT INTERACTION 217
A.10.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 217
A.10.2 PROCEDURE 217
A.11 STEP D3: INTRA-COMPONENT INTERACTION 217
A.11.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 217
A.11.2 PROCEDURE 218
A.12 STEP D4: COMPLETE COMPONENT OR CLASS BEHAVIOR 218
A. 12.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 218
A.12.2 PROCEDURE 218
A.13 STEP II: IMPLEMENTATION AND UNIT TEST 219
A.13.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 219
A.14 STEP T L : COMPONENT TESTS 219
A.14.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 219
A.14.2 PROCEDURE 219
A.15 STEP T2: SYSTEM TEST 220
A.15.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 220
A.15.2 PROCEDURE 220
A. 16 STEP T3: ACCEPTANCE TEST 220
A.16.1 INPUT, OUTPUT, GLOSSARY, VALIDATION 220
A.16.2 PROCEDURE 221
B CACC CASE STUDY - ADDITIONAL FIGURES 2 2 3
C OCL EXPRESSIONS 2 2 7
C.L GENERAL CONSTRAINTS 227
C.2 CONSTRAINTS RELATED TO THE CONTEXT DIAGRAM 229
C.3 CONSTRAINTS RELATED TO PROBLEM DIAGRAMS AND PROBLEM FRAMES 232
C.4 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN THE CONTEXT DIAGRAM
AND PROBLEM DIAGRAMS238 C.5 CONSTRAINTS RELATED TO THE CONSISTENCY
BETWEEN PROBLEM DIAGRAMS AND PROBLEM FRAMES 247 C.6 CONSTRAINTS RELATED
TO THE CONSISTENCY BETWEEN PROBLEM DIAGRAMS AND SEQUENCE DIAGRAMS250 C.7
CONSTRAINTS RELATED TO TECHNICAL CONTEXT DIAGRAMS 254
C.8 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN THE CONTEXT DIAGRAM
AND TECHNICAL CON TEXT DIAGRAMS 255
C.9 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN PROBLEM DIAGRAMS AND
TECHNICAL CONTEXT DIAGRAMS 257
C.10 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN SEQUENCE DIAGRAMS
AND OPERATION SPEC IFICATIONS 258
C . L L DEPENDABILITY 259
C . L L . L ALL . . . ' 259
C . L 1.2 CONFIDENTIALITY 259
C.L 1.3 INTEGRITY 261
C . L L . 4 AVAILABILITY 263
C.L 1.5 RELIABILITY 264
C . L L . 6 AUTHENTICITY 266
C.L 1.7 SECURITY MANAGEMENT 267
C . L L . 8 SECRET DISTRIBUTION 268
IMAGE 6
C.12 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN TECHNICAL CONTEXT
DIAGRAM AND SOFTWARE
ARCHITECTURES 269
C.13 CONSTRAINTS RELATED TO THE CONSISTENCY BETWEEN THE DIFFERENT
SOFTWARE ARCHITECTURES . . 272
D OCL EXPRESSIONS FOR UMLSEC 2 7 7
REFERENCES 2 8 5 |
| any_adam_object | 1 |
| author | Hatebur, Denis |
| author_GND | (DE-588)1026786479 |
| author_facet | Hatebur, Denis |
| author_role | aut |
| author_sort | Hatebur, Denis |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV041777432 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)879261808 (DE-599)DNB1025235827 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Aufl. |
| 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">BV041777432</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140508</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140403s2012 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,A13</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,H04</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1025235827</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868880496</subfield><subfield code="c">kart. : EUR 39.95 (DE), EUR 41.40 (AT), sfr 69.90 (freier Pr.)</subfield><subfield code="9">978-3-86888-049-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783868880496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879261808</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1025235827</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hatebur, Denis</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026786479</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Pattern- and component-based development of dependable systems</subfield><subfield code="c">Denis Hatebur</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Baden-Baden</subfield><subfield code="b">Dt. Wiss.-Verl.</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">292 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Duisburg, Essen, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vertrauenswürdigkeit</subfield><subfield code="0">(DE-588)4209886-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Vertrauenswürdigkeit</subfield><subfield code="0">(DE-588)4209886-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="5"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="9"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</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">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4102323&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=027223314&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-027223314</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041777432 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T01:23:44Z |
| institution | BVB |
| isbn | 9783868880496 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027223314 |
| oclc_num | 879261808 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-739 |
| physical | 292 S. graph. Darst. 24 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Dt. Wiss.-Verl. |
| record_format | marc |
| spelling | Hatebur, Denis Verfasser (DE-588)1026786479 aut Pattern- and component-based development of dependable systems Denis Hatebur 1. Aufl. Baden-Baden Dt. Wiss.-Verl. 2012 292 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Duisburg, Essen, Univ., Diss., 2012 Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf UML (DE-588)4469781-8 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Entwurfsmuster (DE-588)4546895-3 gnd rswk-swf Vertrauenswürdigkeit (DE-588)4209886-5 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Datensicherung (DE-588)4011144-1 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Systementwicklung (DE-588)4126945-7 s Zuverlässigkeit (DE-588)4059245-5 s Vertrauenswürdigkeit (DE-588)4209886-5 s Datensicherung (DE-588)4011144-1 s Requirements engineering (DE-588)4213997-1 s Softwarearchitektur (DE-588)4121677-5 s Entwurfsmuster (DE-588)4546895-3 s Komponente Software (DE-588)4439521-8 s Testmustergenerierung (DE-588)4234817-1 s UML (DE-588)4469781-8 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4102323&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223314&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hatebur, Denis Pattern- and component-based development of dependable systems Testmustergenerierung (DE-588)4234817-1 gnd UML (DE-588)4469781-8 gnd Komponente Software (DE-588)4439521-8 gnd Entwurfsmuster (DE-588)4546895-3 gnd Vertrauenswürdigkeit (DE-588)4209886-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Systementwicklung (DE-588)4126945-7 gnd Requirements engineering (DE-588)4213997-1 gnd Softwarearchitektur (DE-588)4121677-5 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4469781-8 (DE-588)4439521-8 (DE-588)4546895-3 (DE-588)4209886-5 (DE-588)4059245-5 (DE-588)4011144-1 (DE-588)4126945-7 (DE-588)4213997-1 (DE-588)4121677-5 (DE-588)4113937-9 |
| title | Pattern- and component-based development of dependable systems |
| title_auth | Pattern- and component-based development of dependable systems |
| title_exact_search | Pattern- and component-based development of dependable systems |
| title_full | Pattern- and component-based development of dependable systems Denis Hatebur |
| title_fullStr | Pattern- and component-based development of dependable systems Denis Hatebur |
| title_full_unstemmed | Pattern- and component-based development of dependable systems Denis Hatebur |
| title_short | Pattern- and component-based development of dependable systems |
| title_sort | pattern and component based development of dependable systems |
| topic | Testmustergenerierung (DE-588)4234817-1 gnd UML (DE-588)4469781-8 gnd Komponente Software (DE-588)4439521-8 gnd Entwurfsmuster (DE-588)4546895-3 gnd Vertrauenswürdigkeit (DE-588)4209886-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Systementwicklung (DE-588)4126945-7 gnd Requirements engineering (DE-588)4213997-1 gnd Softwarearchitektur (DE-588)4121677-5 gnd |
| topic_facet | Testmustergenerierung UML Komponente Software Entwurfsmuster Vertrauenswürdigkeit Zuverlässigkeit Datensicherung Systementwicklung Requirements engineering Softwarearchitektur Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4102323&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223314&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hateburdenis patternandcomponentbaseddevelopmentofdependablesystems |