Availability: Strategien für die Echtzeit-Programmierung

Strategien für die Echtzeit-Programmierung:

Saved in:

Bibliographic Details
Main Authors:	Hatley, Derek J. (Author), Pirbhai, Imtiaz A. (Author)
Format:	Book
Language:	German
Published:	München [u.a.] Hanser 1993
Subjects:	Modellierung Spezifikation Echtzeitprogrammierung Echtzeitsystem Requirements engineering
Links:	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
Physical Description:	XVII, 444 S. Ill., graph. Darst.
ISBN:	3446162887

Staff View

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
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-003910391

Record in the Search Index

DE-BY-TUM_call_number	0001 93 A 918 0819 SE.028
DE-BY-TUM_katkey	579223
DE-BY-TUM_location	Mag LSB
DE-BY-TUM_media_number	040000914592 TEMP2921568
_version_	1821938451167051777
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>02366nam 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="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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003910391</subfield></datafield></record></collection>
id	DE-604.BV006193785
illustrated	Illustrated
indexdate	2024-12-20T08:44:41Z
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
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

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Closed Stacks

Holdings details from Bibliotheksmagazin
Call Number:	0001 93 A 918 Floor plan
Copy 1	Available for loan On Shelf

Reference Collection (not available)

Holdings details from Handapparate (nicht verfügbar)
Call Number:	0819 SE.028 Floor plan
Copy 1	On permanent loan Ausgeliehen