Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
Schriftenreihe: | Xpert.press
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Auch als Internetausgabe |
Beschreibung: | XII, 232 S. graph. Darst. |
ISBN: | 9783540234050 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV019676177 | ||
003 | DE-604 | ||
005 | 20230104 | ||
007 | t | ||
008 | 050127s2005 gw d||| |||| 00||| ger d | ||
016 | 7 | |a 972214003 |2 DE-101 | |
020 | |a 9783540234050 |9 978-3-540-23405-0 | ||
035 | |a (OCoLC)249464653 | ||
035 | |a (DE-599)BVBBV019676177 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-859 |a DE-92 |a DE-29T |a DE-858 |a DE-1051 |a DE-20 |a DE-355 |a DE-1050 |a DE-91G |a DE-384 |a DE-573 |a DE-1046 |a DE-860 |a DE-706 |a DE-861 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-Aug4 | ||
082 | 0 | |a 004 | |
084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
084 | |a ST 232 |0 (DE-625)143619: |2 rvk | ||
084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
084 | |a 004 |2 sdnb | ||
100 | 1 | |a Scholz, Peter |e Verfasser |4 aut | |
245 | 1 | 0 | |a Softwareentwicklung eingebetteter Systeme |b Grundlagen, Modellierung, Qualitätssicherung |c Peter Scholz |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
300 | |a XII, 232 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Xpert.press | |
500 | |a Auch als Internetausgabe | ||
650 | 4 | |a Eingebettetes System - Echtzeitsystem - Programmierung | |
650 | 4 | |a Eingebettetes System - Softwareentwicklung | |
650 | 4 | |a Eingebettetes System - Softwareentwicklung - Qualitätssicherung | |
650 | 0 | 7 | |a Qualitätssicherung |0 (DE-588)4126457-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
689 | 1 | 1 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
689 | 1 | 2 | |a Programmierung |0 (DE-588)4076370-5 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
689 | 2 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 2 | 2 | |a Qualitätssicherung |0 (DE-588)4126457-5 |D s |
689 | 2 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013004276&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-013004276 |
Datensatz im Suchindex
_version_ | 1804133113507348480 |
---|---|
adam_text | Inhaltsverzeichnis
1 Einleitung...............................................................................1
1.1 Motivation....................................................................1
1.2 Klassifikation, Charakteristika.....................................3
1.3 Anwendungen, Beispiele und Branchen......................6
1.4 Begriffsdefinitionen.....................................................8
1.5 Logischer Aufbau eingebetteter Systeme..................10
1.5.1 Kontrolleinheit..................................................12
1.5.2 Regelstrecke.......................................................15
1.5.3 Benutzerschnittstelle........................................21
1.6 Softwareentwicklung eingebetteter Systeme.............22
1.6.1 Motivation.........................................................22
1.6.2 Begriffsklärung..................................................23
1.6.3 Entwurf...............................................................23
1.7 Besondere Herausforderungen...................................24
1.8 Zusammenfassung......................................................25
2 Nebenläufige Systeme.........................................................27
2.1 Einführung..................................................................28
2.1.1 Multitasking.......................................................29
2.1.2
2.1.3 Prozesssynchronisation und
-kommunikation
2.2 Grundlegende Modelle für die Nebenläufigkeit........32
2.3 Verteilte Systeme.......................................................34
3 Echtzeit, Echtzeitsysteme, Echtzeitbetriebssysteme------39
3.1 Echtzeitsysteme..........................................................39
3.2 Ereignissteuerung versus Zeitsteuerang....................41
3.3 Echtzeitbetriebssysteme.............................................42
Inhaltsverzeichnis ■
3.3.1 Aufbau und Aufgaben von Betriebssystemen
.............................................................................43
3.3.2 Betriebssystemarchitekturen..........................44
3.3.3 Echtzeitfähige Betriebssysteme......................45
3.3.4 Zeitgeber und Zugriffsebenen auf Zeit..........50
3.3.5 Prozesse.............................................................53
3.3.6 Multitasking und
3.3.7
3.3.8 Speicherverwaltung..........................................59
3.4 VxWorks als Beispiel
eines Echtzeitbetriebssystems...................................61
3.4.1 Das Laufzeitsystem...........................................63
3.4.2 Exkurs: Der POSIX Standard..........................63
3.4.3 Das I/O-Subsystem von VxWorks.................64
3.4.4 Unterstützung verteilter Systeme
in VxWorks.......................................................64
3.4.5 VxWorks Entwicklungswerkzeuge................64
3.5 Weitere Beispiele eingebetteter Betriebssysteme.....66
3.5.1 Symbian OS.......................................................67
3.5.2 PalmOS..............................................................68
3.5.3 Windows
3.5.4 QNX....................................................................70
3.5.5
3.6 Zusammenfassung.....................................................73
4 Programmierung eingebetteter Systeme.........................75
4.1 Der Einsatz von C/C++ für eingebettete Systeme.... 77
4.2
4.2.1 Einschränkung: Das Schlüsselwort „mutable
.............................................................................80
4.2.2 Einschränkung: Ausnahmebehandlung........80
4.2.3 Typidentifikation zur Laufzeit........................81
4.2.4 Namenskonflikte..............................................81
4.2.5 Templates..........................................................81
4.2.6 Mehrfachvererbung und
virtuelle Vererbung..........................................81
4.2.7 Bibliotheken......................................................82
4.2.8 EC++ Styleguide...............................................82
4.3 Der Einsatz von Java für eingebettete Systeme........83
4.3.1 Java 1..................................................................85
4.3.2 Java 2 (J2ME).....................................................87
4.3.3 JavaCard.............................................................90
4.3.4 Echtzeiterweiterungen für Java......................93
4.4 Synchrone Sprachen..................................................98
■ Inhaltsverzeichnis
m
4.5 Ereignisbasierter Ansatz am Beispiel von Esterei.....99
4.5.1 Historie.............................................................100
4.5.2 Hypothese der perfekten
4.5.3 Determinismus................................................104
4.5.4 Allgemeines.....................................................105
4.5.5 Parallelität........................................................106
4.5.6 Deklarationen..................................................106
4.5.7 Instruktionen...................................................109
4.5.8 Beispiel:
Die sogenannte ABRO-Spezifikation...........111
4.5.9 Semantik..........................................................111
4.5.10 Kausalitätsprobleme.......................................112
4.5.11 Codegenerierung und Werkzeuge................116
4.6 Synchrone Datenflusssprachen
am Beispiel von
4.6.1 Datenfluss und
4.6.2 Variablen, Konstanten und Gleichungen.... 120
4.6.3 Operatoren und Programmstruktur............120
4.6.4
4.6.5
4.6.6 Verifikation und automatisches Testen.......124
4.6.7
4.7 Zeitgesteuerter Ansatz am Beispiel von
4.8 Zusammenfassung....................................................136
Softwareentwurf eingebetteter Systeme..__...................139
5.1 Modellierung eingebetteter Systeme.......................140
5.2 Formale Methoden...................................................141
5.3 Statecharts................................................................142
5.4 Die
5.5 Der Ansatz
5.5.1 Softwarewerkzeuge und Umgebung............151
5.5.2 Einführung.......................................................152
5.5.3
5.6 Hardware/Software-Codesign..................................155
5.7 Die MARMOT-Methode.........................................161
5.8 Hybride Systeme und hybride Automaten..............164
5.8.1 Einleitung.........................................................164
5.8.2 Spezifikation hybrider Systeme....................167
5.9 Zusammenfassung....................................................171
Softwarequalität eingebetteter Systeme .........................173
6.1 Motivation................................................................173
Inhaltsverzeichnis ■
m
6.2 Begriffe....................................................................174
6.3 Zuverlässigkeit eingebetteter Systeme....................178
6.3.1 Konstruktive Maßnahmen............................182
6.3.2 Analytische Verfahren...................................184
6.3.3 Stochastische Abhängigkeit..........................186
6.3.4 Gefahrenanalyse.............................................186
6.4 Sicherheit eingebetteter Systeme............................188
6.4.1 Testen...............................................................190
6.4.2 Manuelle Prüftechniken................................195
6.4.3 formale Verifikation......................................196
6.5 Zusammenfassung...................................................199
7 VorgehensmodeDe und Standards der Entwicklung.... 201
7.1 Das Wasserfall-Modell............................................201
7.2 Das V-Modell..........................................................202
7.3 Das V-Modell XT....................................................205
7.3.1 Grundlagen......................................................206
7.3.2 Anwendung des V-Modell XT......................207
7.3.3 Zielsetzung und Aufbau des V-Modell XT. 208
7.3.4 V-Modell XT Produktvorlagen.....................211
7.3.5 V-Modell XT Werkzeuge...............................211
7.4 Die ROPES-Methode..............................................212
7.5 Der OSEK-Standard................................................213
7.6 AUTOSAR..............................................................215
7.7 Zusammenfassung...................................................217
8 Schlussbemerkungen_______._____.______________219
Literaturverzeichnis.....................................................................223
Sachverzeichnis............................................................................. 229
XII ■ Inhaltsverzeichnis
m
m
|
any_adam_object | 1 |
author | Scholz, Peter |
author_facet | Scholz, Peter |
author_role | aut |
author_sort | Scholz, Peter |
author_variant | p s ps |
building | Verbundindex |
bvnumber | BV019676177 |
classification_rvk | ST 153 ST 230 ST 232 ST 233 |
ctrlnum | (OCoLC)249464653 (DE-599)BVBBV019676177 |
dewey-full | 004 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004 |
dewey-search | 004 |
dewey-sort | 14 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02606nam a2200613 c 4500</leader><controlfield tag="001">BV019676177</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230104 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050127s2005 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">972214003</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540234050</subfield><subfield code="9">978-3-540-23405-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249464653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019676177</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</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 232</subfield><subfield code="0">(DE-625)143619:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</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">Scholz, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung eingebetteter Systeme</subfield><subfield code="b">Grundlagen, Modellierung, Qualitätssicherung</subfield><subfield code="c">Peter Scholz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 232 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Xpert.press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auch als Internetausgabe</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System - Echtzeitsystem - Programmierung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System - Softwareentwicklung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System - Softwareentwicklung - Qualitätssicherung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=013004276&sequence=000002&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-013004276</subfield></datafield></record></collection> |
id | DE-604.BV019676177 |
illustrated | Illustrated |
indexdate | 2024-07-09T20:03:33Z |
institution | BVB |
isbn | 9783540234050 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013004276 |
oclc_num | 249464653 |
open_access_boolean | |
owner | DE-859 DE-92 DE-29T DE-858 DE-1051 DE-20 DE-355 DE-BY-UBR DE-1050 DE-91G DE-BY-TUM DE-384 DE-573 DE-1046 DE-860 DE-706 DE-861 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-Aug4 |
owner_facet | DE-859 DE-92 DE-29T DE-858 DE-1051 DE-20 DE-355 DE-BY-UBR DE-1050 DE-91G DE-BY-TUM DE-384 DE-573 DE-1046 DE-860 DE-706 DE-861 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-Aug4 |
physical | XII, 232 S. graph. Darst. |
publishDate | 2005 |
publishDateSearch | 2005 |
publishDateSort | 2005 |
publisher | Springer |
record_format | marc |
series2 | Xpert.press |
spelling | Scholz, Peter Verfasser aut Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung Peter Scholz Berlin [u.a.] Springer 2005 XII, 232 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Xpert.press Auch als Internetausgabe Eingebettetes System - Echtzeitsystem - Programmierung Eingebettetes System - Softwareentwicklung Eingebettetes System - Softwareentwicklung - Qualitätssicherung Qualitätssicherung (DE-588)4126457-5 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 s Softwareentwicklung (DE-588)4116522-6 s DE-604 Echtzeitsystem (DE-588)4131397-5 s Programmierung (DE-588)4076370-5 s Qualitätssicherung (DE-588)4126457-5 s Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013004276&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Scholz, Peter Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung Eingebettetes System - Echtzeitsystem - Programmierung Eingebettetes System - Softwareentwicklung Eingebettetes System - Softwareentwicklung - Qualitätssicherung Qualitätssicherung (DE-588)4126457-5 gnd Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmierung (DE-588)4076370-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
subject_GND | (DE-588)4126457-5 (DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4076370-5 (DE-588)4396978-1 |
title | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung |
title_auth | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung |
title_exact_search | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung |
title_full | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung Peter Scholz |
title_fullStr | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung Peter Scholz |
title_full_unstemmed | Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung Peter Scholz |
title_short | Softwareentwicklung eingebetteter Systeme |
title_sort | softwareentwicklung eingebetteter systeme grundlagen modellierung qualitatssicherung |
title_sub | Grundlagen, Modellierung, Qualitätssicherung |
topic | Eingebettetes System - Echtzeitsystem - Programmierung Eingebettetes System - Softwareentwicklung Eingebettetes System - Softwareentwicklung - Qualitätssicherung Qualitätssicherung (DE-588)4126457-5 gnd Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmierung (DE-588)4076370-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
topic_facet | Eingebettetes System - Echtzeitsystem - Programmierung Eingebettetes System - Softwareentwicklung Eingebettetes System - Softwareentwicklung - Qualitätssicherung Qualitätssicherung Echtzeitsystem Softwareentwicklung Programmierung Eingebettetes System |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013004276&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT scholzpeter softwareentwicklungeingebettetersystemegrundlagenmodellierungqualitatssicherung |