Strategien für die Echtzeit-Programmierung:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Hanser
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 444 S. Ill., graph. Darst. |
| ISBN: | 3446162887 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006193785 | ||
| 003 | DE-604 | ||
| 005 | 20100223 | ||
| 007 | t | ||
| 008 | 930208s1993 gw ad|| |||| 00||| ger d | ||
| 016 | 7 | |a 930392507 |2 DE-101 | |
| 020 | |a 3446162887 |9 3-446-16288-7 | ||
| 035 | |a (OCoLC)75302717 | ||
| 035 | |a (DE-599)BVBBV006193785 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91 |a DE-92 |a DE-20 |a DE-210 |a DE-706 |a DE-526 |a DE-83 |a DE-B768 | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a DAT 263f |2 stub | ||
| 100 | 1 | |a Hatley, Derek J. |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Strategies for real-time system specification |
| 245 | 1 | 0 | |a Strategien für die Echtzeit-Programmierung |c Derek J. Hatley ; Imtiaz A. Pirbhai |
| 264 | 1 | |a München [u.a.] |b Hanser |c 1993 | |
| 300 | |a XVII, 444 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 3 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Pirbhai, Imtiaz A. |e Verfasser |4 aut | |
| 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=003910391&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003910391 | ||
| 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_ | 1804120410716897280 |
|---|---|
| adam_text | DEREK J. HATLEY / IMTIAZ A. PIRBHAI STRATEGIEN FUER DIE
ECHTZEIT-PROGRAMMIERUNG MIT 207 BILDERN AUS DEM AMERIKANISCHEN UEBERSETZT
VON ADP DRIPKE PUBLIKATIONEN GMBH CARL HANSER VERLAG MUENCHEN WIEN IX
INHALTSVERZEICHNIS TEIL I DIE GESAMTSTRATEGIE 1 KAPITEL 1 UEBERBLICK 3
1.1 DIE GEBURT DES ANFORDERUNGSMODELLS 4 EINFUEHRUNG DES MODELLS 6 1.2
DIE GEBURT DES ARCHITEKTURMODELLS 7 1.3 KOMPATIBILITAET DER MODELLE 7
1.4 ANWENDBARKEIT DER MODELLE 8 1.5 DER SYSTEMLEBENSZYKLUS 8 EINIGE
BEDEUTSAME HINWEISE 9 KAPITEL 2 DIE AUFGABE DER METHODEN 13 2.1
STRUKTURIERTE METHODEN: EINE ERLAEUTERUNG 13 WIE UND WAS 14 2.2
ANFORDERUNGSMODELL DES SYSTEMS 14 DAS PROZESSMODELL 15 DAS STEUERMODELL
17 ZUSAMMENFASSUNG DES ANFORDERUNGSMODELLS 20 2.3
SYSTEMARCHITEKTURMODELL 21 ARCHITEKTURFLUSSDIAGRAMME UND
MODULSPEZIFIKATIONEN 22 ARCHITEKTURVERBINDUNGSDIAGRAMME UND
-SPEZIFIKATIONEN 23 ZUSAMMENFASSUNG DES ARCHITEKTURMODELLS 25 2.4
SYSTEMSPEZIFIKATIONSMODELL 27 2.5 DER ENTWICKLUNGSLEBENSZYKLUS 29
ITERATIVE ENTWICKLUNG 29 HIERARCHISCHE DARSTELLUNG 29 DIE NOTWENDIGKEIT
FRUEHER TESTS 31 DER GESAMTE LEBENSZYKLUS 31 ZUSAMMENFASSUNG DES
ENTWICKLUNGSLEBENSZYKLUS 33 2.6 STRUKTURIERTE METHODEN: WAS SIE NICHT
SIND 33 2.7 ZUSAMMENFASSUNG 34 TEIL II DAS ANFORDERUNGSMODELL 35 KAPITEL
3 UEBERBLICK 37 3.1 DIE STRUKTUR DES MODELLS 39 INHALTSVERZEICHNIS
KAPITEL 4 DAS PROZESSMODELL 43 4.1 DATENKONTEXTDIAGRAMME 43 DER
KONTEXTPROZESS 45 SYSTEMEIN-AAUSGABEN 45 TERMINATOREN 46 4.2
DATENFLUSSDIAGRAMME 46 PROZESSE 47 TRANSAKTIONSZENTREN 48 4;.3 LEVELING
UND BALANCING 48 4.4 DAS NUMERIERUNGSSYSTEM 51 4.5 DATENFLUESSE 51 4.6
DATENSPEICHERSTELLEN 54 4.7 PROZESSSPEZIFIKATIONEN 54 STRUKTURIERTE
SPRACHE 56 4.8 INTERPRETATION DES PROZESSMODELLS 59 4.9 ZUSAMMENFASSUNG
60 KAPITEL 5 DAS STEUERMODELL 63 5.1 STEUERKONTEXTDIAGRAMME 63 5.2
STEUERFLUSSDIAGRAMME 65 DIE SCHNITTSTELLE ZWISCHEN CFD UND CSPEC 67 5.3
STEUERFLUESSE 67 5.4 DATENBEDINGUNGEN 70 5.5 STEUERSPEICHERSTELLEN 71 5.6
STEUERSPEZIFIKATIONEN 72 5.7 PROZESSSTEUERUNG 73
TRANSAKTIONSZENTRUMSSTEUERUNG 75 5.8 ZUSAMMENFASSUNG 77 KAPITEL 6
FINITE-ZUSTANDS-MASCHINEN 79 KATEGORIEN VON FINITE-ZUSTANDS-MASCHINEN 80
6.1 KOMBINATORISCHE MASCHINEN 80 6.2 SEQUENTIELLE MASCHINEN 83
ZUSTANDSUEBERGANGSDIAGRAMME 87 ZUSTANDSUEBERGANGSTABELLEN UND -MATRIZEN 88
6.3 EINBINDUNG DER FINITE-ZUSTANDS-MASCHINEN IN CSPECS 91
KOMBINATORISCHE STEUERSPEZIFIKATIONEN 91 SEQUENTIELLE
STEUERSPEZIFIKATIONEN 93 INHALTSVERZEICHNIS XI ZUSAMMENGESETZTE
STEUERSPEZIFIKATIONEN 95 MEHRSEITIGE STEUERSPEZIFIKATIONEN 95 6.4
ZUSAMMENFASSUNG 98 KAPITEL 7 TIMING-ANFORDERUNGEN 101 7.1
WIEDERHOLUNGSRATE 102 7.2 EHV/AUSGABEANTWORTZEITVERHALTEN 102 7.3
ZUSAMMENFASSUNG 104 KAPITEL 8 ANFORDERUNGS-DICTIONARY 107 8.1
PRIMITIVENATTRIBUTE 108 8.2 GRUPPENSTRUKTUR 109 8.3
DICTIONARY-DATENBANKEN 110 8.4 ZUSAMMENFASSUNG 113 KAPITEL 9 DAS
ANFORDERUNGSMODELL - INTERPRETATION UND ZUSAMMENFASSUNG 115 9.1
INTERPRETATION DES ANFORDERUNGSMODELLS 115 9.2 ZUSAMMENFASSUNG DES
ANFORDERUNGSMODELLS 117 TEIL III ERSTELLUNG DES ANFORDERUNGSMODELLS 121
KAPITEL 10 UEBERBLICK 123 10.1 MODELLBENUTZER UND-ERSTELLER 123 10.2 DIE
ANFORDERUNGSQUELLEN 124 10.3 DER MODELLERSTELLUNGSPROZESS 125 KAPITEL 11
EIN ANFANG 129 11.1 BENUTZERANFORDERUNGSAUSSAGEN 129 11.2 SEPARIEREN VON
DATEN UND STEUERUNG 129 11.3 ERSTELLEN DES SYSTEMKONTEXTES 133 11.4
ZERLEGUNG DER OBEREN EBENEN 137 11.5 ZUSAMMENFASSUNG 140 KAPITEL 12
ENTWICKLUNG DER MODELLSTRUKTUR 141 12.1 ABSTRAKTION UND ZERLEGUNG 141
12.2DAS72-PRINZIP 142 12.3 GRUPPENBILDUNGS- UND ZERLEGUNGSPROZESSE .
143 XU INHALTSVERZEICHNIS 12I4 GRUPPENBILDUNG UND ZERLEGUNG VON FLUESSEN
146 AUFTEILEN UND VERKNUEPFEN VON FLUESSEN 146 MEHRFACHFLUESSE 149
FLUSSBAEUME 150 12.5 BENENNUNG VON PROZESSEN UND FLUESSEN 151 ABKUERZUNGEN ,
152 12.6 EINSATZ VON SPEICHERSTELLEN 153 12.7 FUNKTIONAL IDENTISCHE
PROZESSE 154 12.8 UEBERBETONUNG DES STEUERMODELLS. 155 12.9
STEUERUNGSINTENSIVE SYSTEME 156 12.10 DER TEUFEL STECKT IM DETAIL:
ANFORDERUNGEN VS. DESIGN 158 12.11 DAS ENDPRODUKT 159 12.12
ZUSAMMENFASSUNG 160 KAPITEL 13 VORBEREITUNG DER PROZESSSPEZIFIKATIONEN
163 13.1 DIE ROLLE DER PROZESSSPEZIFIKATIONEN 163 13.2 DIE ARTEN VON
PSPECS 164 TEXTUELLE PSPECS 164 GLEICHUNGEN IN PSPECS 164 TABELLEN IN
PSPECS 166 DIAGRAMME INPSPECS 167 13.3 WICHTIGE SIGNALKONVENTIONEN 168
ZEITKONTINUIERLICHE UND ZEITWEILIGE SIGNALE 168 UNIVERSELLER ZUGRIFF AUF
DIE ZEIT 170 13.4 STRUKTURIERTE SPRACHE 170 13.5 ANMERKUNGEN IN FORM VON
KOMMENTAREN 171 13.6 ZUSAMMENFASSUNG 172 KAPITEL 14 VORBEREITUNG DER
STEUERSPEZIFIKATIONEN 173 14.1 VERMEIDEN VON STEUERSPEZIFIKATIONEN 173
14.2 KOMBINATORISCHE STEUERUNG 174 PROZESSAKTIVIERUNGSTABELLEN 178
STEUERUNG VON TRANSAKTIONSZENTREN 179 14.3 SEQUENTIELLE STEUERUNG 180
WAHL DER ZUSTAENDE 181 WAHL DER DARSTELLUNG 181 SPEZIELLE KONVENTIONEN
DER METHODE 182 ERSTELLUNG EINER SEQUENTIELLEN MASCHINE 183 14.4
MEHRSEITIGE CSPECS 186 INHALTSVERZEICHNIS XM 14.5 CSPECS IM GESAMTBILD
189 FLIESSENDE CSPEC 190 DIE ZEIT IN CSPECS 192 CSPECS IN DER
GESAMTSTRUKTUR 192 14.6 ZUSAMMENFASSUNG 193 KAPITEL 15 DEFINITION DES
ZEITASPEKTES 195 15.1 UEBERBLICK UEBER DEN ZEITASPEKT 195 15.2
ANTWORTZEITSPEZIFIKATION 196 15.3 ZUSAMMENFASSUNG 198 KAPITEL 16
DICTIONARY-VERWALTUNG 199 16.1 FLUSSTYPEN 199 TYPENDEFINITION 199
ATTRIBUTDEFINITIONEN 201 16.2 SYMBOLE IM DICTIONARY 203 16.3
ZUSAMMENFASSUNG 204 TEIL IV DAS ARCHITEKTURMODELL 207 KAPITEL 17
UEBERBLICK 209 17.1 ANFORDERUNG/ARCHITEKTUR-SCHABLONE 210 17.2 SYMBOLE
DES ARCHITEKTURMODELLS 213 ARCHITEKTURMODULE 213 INFORMATIONSFLUSSVEKTOR
214 INFORMATIONSFLUSSKANAL 215 KAPITEL 18 ARCHITEKTURDIAGRAMME 217 18.1
ARCHITEKTURKONTEXTDIAGRAMME 217 18.2 FLUESSE UND VERBINDUNGEN 218 18.3
ARCHITEKTURFLUSSDIAGRAMME 219 ZERLEGUNG VON ARCHITEKTURFLUSSDIAGRAMMEN 223
REDUNDANZ 225 18.4 ARCHITEKTURVERBINDUNGSDIAGRAMME 226 18.5
ZUSAMMENFASSUNG 228 XIV INHALTSVERZEICHNIS KAPITEL 19
ARCHITEKTUR-DICTIONARY UND MODULSPEZIFIKATIONEN 231 19.1
ARCHITEKTURMODULSPEZIFIKATION 232 19.2
ARCHITEKTURVERBINDUNGSSPEZIFIKATION 236 19.3 ZEITANFORDERUNGEN 237 19.4
ARCHITEKTUR-DICTIONARY 238 19.5 ZUSAMMENFASSUNG 239 KAPITEL 20
VERVOLLSTAENDIGUNG DES ARCHITEKTURMODELLS 241 20.1 ZUWEISUNG ZU HARDWARE
UND SOFTWARE 241 20.2 ARCHITEKTUR VON HARDWARE UND SOFTWARE 242 20.3 DAS
VOLLSTAENDIGE ARCHITEKTURMODELL 243 TEIL V ERSTELLUNG DES
ARCHITEKTURMODELLS 247 KAPITEL 21 UEBERBLICK 249 ZUVERLAESSIGKEIT 249
SICHERHEIT 249 WARTBARKEIT 249 TESTBARKEIT 249 KOSTEN 249 TECHNOLOGIE
250 PERFORMANCE 250 WACHSTUMS- UND ERWEITERUNGSMOEGLICHKEIT 250 21.1
ARCHITEKTURENTWICKLUNGSPROZESS 250 21.2 SYSTEME SIND HIERARCHISCH 252
KAPITEL 22 ERWEITERUNG DES ANFORDERUNGSMODELLS 255 22.1 EIN-UND
AUSGABEVERARBEITUNG 255 22.2 BENUTZERSCHNITTSTELLENVERARBEITUNG 258 22.3
WARTUNGS-UND SELBSTTESTVERARBEITUNG 261 22.4 DAS VOLLSTAENDIGE ERWEITERTE
ANFORDERUNGSMODELL 264 22.5 TECHNOLOGIEUNABHAENGIG VS.
TECHNOLOGIEUNSPEZIFISCH 265 22.6 ORGANISATORISCHE AUSWIRKUNGEN 266 22.7
ZUSAMMENFASSUNG 268 KAPITEL 23 ERSTELLEN DES SYSTEMARCHITEKTURMODELLS
269 23.1 ARCHITEKTURKONTEXTDIAGRAMM 269 23.2 ARCHITEKTURFLUSS-UND
-VERBINDUNGSDIAGRAMME 270 INHALTSVERZEICHNIS XV 23.3 BEISPIEL DER
ZUORDNUNG VON AFD UND AID 271 23.4 MODELLKONSISTENZ UND BALANCING 273
23.5 DAS VOLLSTAENDIGE ARCHITEKTURMODELL 277 23.6 ZUSAMMENFASSUNG 278
KAPITEL 24 ERSTELLEN DER HARD-/SOFTWAREARCHITEKTURMODELLE 279 24.1
PARTITIONIERUNG IN HARD- UND SOFTWARE 280 24.2 ANWENDUNG DER SCHABLONE
AUF DIE SOFTWAREANFORDERUNGEN 285 24.3 ENTWICKLUNG DER
SOFTWAREARCHITEKTUR 288 24.4 DER HARD-UND SOFTWAREARCHITEKTURPROZESS 290
24.5 ZUSAMMENFASSUNG 291 KAPITEL 25 ZUSAMMENFASSUNG DER
ARCHITEKTURENTWICKLUNG 293 25.1 PARTITIONIERUNG DES
MODELLIERUNGSPROZESSES 294 DAS SYSTEMMODELL 294 DIE HARD-UND
SOFTWAREMODELLE 295 TEIL VI BEISPIELE 299 KAPITEL 26 DAS
AUTOMOBILVERWALTUNGSSYSTEM 301 26.1 DIE PROBLEMAUSSAGE 301 STEUERUNG DER
REISEGESCHWINDIGKEIT 301 UEBERWACHUNG DER DURCHSCHNITTSGESCHWINDIGKEIT
302 UEBERWACHUNG DES BENZINVERBRAUCHS 302 WARTUNGSUEBERWACHUNG 303 26.2
ANFORDERUNGS-UND ARCHITEKTURENTWICKLUNG 303 26.3 ANFORDERUNGSMODELL 305
26.4 DAS ARCHITEKTURMODELL 326 KAPITEL 27 EIN HEIZUNGSSYSTEM 335 27.1
PROBLEMAUSSAGE 335 UEBERBLICK UEBER DAS HEIZUNGSSYSTEM 335
TEMPERATURSTEUEREINHEIT 336 DAS HEIZUNGSSUBSYSTEM 337 CONTROLLER 337
EINGABENDES CONTROLLERS 337 AUSGABENDES CONTROLLERS 337 ANFORDERUNGEN AN
DEN CONTROLLER 338 XVI INHALTSVERZEICHNIS 27.2 ANFORDERUNGSMODELL 338
27.3 DAS ARCHITEKTURMODELL 347 KAPITEL 28 VERKAUFSAUTOMAT 349 28.1
DIALOG MIT DEM KUNDEN 349 28.2 ANFORDERUNGSMODELL 350 28.3 DAS
ARCHITEKTURMODELL 359 ANHAENGE 365 ANHANG A STANDARDSYMBOLE UND
DEFINITIONEN 367 A.L EINFUEHRUNG 367 A.2 STANDARDSYMBOLE 367 A.2.1
DATENFLUSS 367 A.2.2 STEUERFLUSS 368 A.2.3 CSPEC-BALKEN 368 A.2.4PROZESS
368 A.2.5 SPEICHERSTELLE 369 A.2.6 TERMINATOR (QUELLE ODER ZIEL, AUCH
EXTERN) 369 A.2.7 ARCHITEKTURMODUL 370 A.2.8 INFORMATIONSFLUSSVEKTOR 370
A.2.9 INFORMATIONSFLUSSKANAL 371 A.3 ANFORDERUNGSMODELL 371 A.3.1
KONTEXTDIAGRAMME 372 DATENKONTEXTDIAGRAMM 372 STEUERKONTEXTDIAGRAMM 373
A.3.2 FLUSSDIAGRAMME 374 DATENFIUSSDIAGRAMM 374 STEUERFLUSSDIAGRAMM 375
A.3.3 PROZESS-UND STEUERSPEZIFIKATIONEN 377 PROZESSSPEZIFIKATION 377
STEUERSPEZIFIKATION 379 A.3.4 TIMING-SPEZIFIKATIONEN 383
TIMING-SPEZIFIKATION 383 A.3.5 ANFORDERUNGS-DICTIONARY 383 A.3.6
BALANCING-REGELN DES ANFORDERUNGSMODELLS 384 A.4 ARCHITEKTURMODELL 386
A.4.1 ARCHITEKTURKONTEXTDIAGRAMM 386 A.4.2 ARCHITEKTURFLUSS- UND
-VERBINDUNGSDIAGRAMME 388 ARCHITEKTURFLUSSDIAGRAMME 389
ARCHITEKTURVERBINDUNGSDIAGRAMM 390 INHALTSVERZEICHNIS XVU A.4.3
ARCHITEKTURMODUL- UND -VERBINDUNGSSPEZIFIKATIONEN 392
ARCHITEKTURMODULSPEZIFIKATION 392 ARCHITEKTURVERBINDUNGSSPEZIFIKATION
393 A.4.4 ARCHITEKTUR-DICTIONARY 393 A.4.5 REGELN FUER DAS BALANCING 394
ANHANG B DOKUMENTATION DER MODELLE 397 ANHANG C INFORMATIONSMODELLIERUNG
- EINE DRITTE PERSPEKTIVE 401 BIBLIOGRAPHIE 405 SACHWORTVERZEICHNIS 407
|
| any_adam_object | 1 |
| author | Hatley, Derek J. Pirbhai, Imtiaz A. |
| author_facet | Hatley, Derek J. Pirbhai, Imtiaz A. |
| author_role | aut aut |
| author_sort | Hatley, Derek J. |
| author_variant | d j h dj djh i a p ia iap |
| building | Verbundindex |
| bvnumber | BV006193785 |
| classification_rvk | ST 140 ST 150 ST 230 ST 234 |
| classification_tum | DAT 335f DAT 263f |
| ctrlnum | (OCoLC)75302717 (DE-599)BVBBV006193785 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02365nam a2200577 c 4500</leader><controlfield tag="001">BV006193785</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100223 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930208s1993 gw ad|| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">930392507</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3446162887</subfield><subfield code="9">3-446-16288-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75302717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006193785</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</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">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hatley, Derek J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Strategies for real-time system specification</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Strategien für die Echtzeit-Programmierung</subfield><subfield code="c">Derek J. Hatley ; Imtiaz A. Pirbhai</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Hanser</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 444 S.</subfield><subfield code="b">Ill., 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="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">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</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">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-3</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">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pirbhai, Imtiaz A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=003910391&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-003910391</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.BV006193785 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:41:39Z |
| institution | BVB |
| isbn | 3446162887 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003910391 |
| oclc_num | 75302717 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM DE-92 DE-20 DE-210 DE-706 DE-526 DE-83 DE-B768 |
| owner_facet | DE-12 DE-91 DE-BY-TUM DE-92 DE-20 DE-210 DE-706 DE-526 DE-83 DE-B768 |
| physical | XVII, 444 S. Ill., graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Hanser |
| record_format | marc |
| spelling | Hatley, Derek J. Verfasser aut Strategies for real-time system specification Strategien für die Echtzeit-Programmierung Derek J. Hatley ; Imtiaz A. Pirbhai München [u.a.] Hanser 1993 XVII, 444 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Modellierung (DE-588)4170297-9 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Echtzeitprogrammierung (DE-588)4048695-3 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 s Spezifikation (DE-588)4139161-5 s DE-604 Echtzeitprogrammierung (DE-588)4048695-3 s Requirements engineering (DE-588)4213997-1 s 1\p DE-604 Modellierung (DE-588)4170297-9 s 2\p DE-604 Pirbhai, Imtiaz A. Verfasser aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003910391&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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 | Hatley, Derek J. Pirbhai, Imtiaz A. Strategien für die Echtzeit-Programmierung Modellierung (DE-588)4170297-9 gnd Spezifikation (DE-588)4139161-5 gnd Echtzeitprogrammierung (DE-588)4048695-3 gnd Echtzeitsystem (DE-588)4131397-5 gnd Requirements engineering (DE-588)4213997-1 gnd |
| subject_GND | (DE-588)4170297-9 (DE-588)4139161-5 (DE-588)4048695-3 (DE-588)4131397-5 (DE-588)4213997-1 |
| title | Strategien für die Echtzeit-Programmierung |
| title_alt | Strategies for real-time system specification |
| title_auth | Strategien für die Echtzeit-Programmierung |
| title_exact_search | Strategien für die Echtzeit-Programmierung |
| title_full | Strategien für die Echtzeit-Programmierung Derek J. Hatley ; Imtiaz A. Pirbhai |
| title_fullStr | Strategien für die Echtzeit-Programmierung Derek J. Hatley ; Imtiaz A. Pirbhai |
| title_full_unstemmed | Strategien für die Echtzeit-Programmierung Derek J. Hatley ; Imtiaz A. Pirbhai |
| title_short | Strategien für die Echtzeit-Programmierung |
| title_sort | strategien fur die echtzeit programmierung |
| topic | Modellierung (DE-588)4170297-9 gnd Spezifikation (DE-588)4139161-5 gnd Echtzeitprogrammierung (DE-588)4048695-3 gnd Echtzeitsystem (DE-588)4131397-5 gnd Requirements engineering (DE-588)4213997-1 gnd |
| topic_facet | Modellierung Spezifikation Echtzeitprogrammierung Echtzeitsystem Requirements engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003910391&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hatleyderekj strategiesforrealtimesystemspecification AT pirbhaiimtiaza strategiesforrealtimesystemspecification AT hatleyderekj strategienfurdieechtzeitprogrammierung AT pirbhaiimtiaza strategienfurdieechtzeitprogrammierung |