Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
München [u.a.]
GRIN-Verl.
2008
|
| Edition: | 1. Aufl. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 208 S. Ill., graph. Darst. |
| ISBN: | 9783640174966 3640174968 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035277830 | ||
| 003 | DE-604 | ||
| 005 | 20100210 | ||
| 007 | t | ||
| 008 | 090129s2008 ad|| m||| 00||| ger d | ||
| 016 | 7 | |a 992714028 |2 DE-101 | |
| 020 | |a 9783640174966 |9 978-3-640-17496-6 | ||
| 020 | |a 3640174968 |9 3-640-17496-8 | ||
| 035 | |a (OCoLC)403993054 | ||
| 035 | |a (DE-599)BVBBV035277830 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-91 |a DE-91G |a DE-83 |a DE-860 | ||
| 082 | 0 | |a 629.20284 |2 22/ger | |
| 082 | 0 | |a 004.21 |2 22/ger | |
| 084 | |a ZO 4250 |0 (DE-625)157719: |2 rvk | ||
| 084 | |a VER 085d |2 stub | ||
| 084 | |a 620 |2 sdnb | ||
| 084 | |a DAT 335d |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Fleischmann, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich |c Andreas Fleischmann |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a München [u.a.] |b GRIN-Verl. |c 2008 | |
| 300 | |a 208 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: München, Techn. Univ., Diss., 2008 | ||
| 650 | 4 | |a Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung | |
| 650 | 0 | 7 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 2 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 3 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017083090&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017083090 | ||
Record in the Search Index
| _version_ | 1804138568685191168 |
|---|---|
| adam_text | MODELLBASIERTE FORMALISIERUNG VON ANFORDERUNGEN INHALTSVERZEICHNIS
KURZFASSUNG 5 DANKSAGUNG 7 INHALTSVERZEICHNIS 8 TEIL I: EINFUEHRUNG 1.
MOTIVATION UND ZIELSETZUNG 13 1.1 BEDEUTUNG DER ANFORDERUNGEN 13 1.2
HERAUSFORDERUNGEN FUER DIE DOKUMENTATION VON ANFORDERUNGEN 17 1.3
ZIELSETZUNG UND NUTZEN DER ARBEIT 21 1.4 AUFBAU DER ARBEIT 24 2.
GRUNDLAGEN 26 2.1 REQUIREMENTS ENGINEERING 26 2.2 MODELLBASIERUNG 28 2.3
FORMALISIERUNG 29 2.4 EINGEBETTETE SYSTEME IM AUTOMOTIVE BEREICH 30
2.4.1 EINGEBETTETE SYSTEME 30 2.4.2 AUTOMOTIVE-SPEZIFIKA 31 3.
WISSENSCHAFTLICHE VORGEHENSWEISE UND FALLSTUDIE 33 3.1 VORARBEITEN 33
3.2 WISSENSCHAFTLICHE VORGEHENSWEISE UND VALIDIERUNGSANSATZ 34 3.3
FALLSTUDIEN 35 3.3.1 ABSTANDSGEREGELTER TEMPOMAT (ACC) 35 3.3.2
TUERSTEUERGERAET (TSG) 38 TEIL II: FORMALISIERUNGSKONZEPT 4. AUSWAHL DER
ZU FORMALISIERENDEN ANFORDERUNGEN 42 4.1 NOTWENDIGKEIT EINER
FORMALISIERUNGSSPEZIFISCHEN KLASSIFIZIERUNG 42 4.2 KRITERIEN FUER EINE
FORMALISIERUNGSSPEZIFISCHE KLASSIFIZIERUNG 43 4.2.1 DURCHGAENGIGKEIT ZUR
KLASSIFIKATION IM DESIGN 44 4.2.2 DURCHGAENGIGKEIT ZUR KLASSIFIKATION DER
ELICITATION 45 4.2.3 SPEZIFISCHE EIGNUNG FUER DIE FORMALISIERUNG 45 4.3
DEFINITION DER FORMALISIERUNGSSPEZIFISCHEN KLASSIFIZIERUNG 46 4.3.1
PROZESSANFORDERUNG 47 4.3. BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/992714028 DIGITALISIERT DURCH MODELLBASIERTE
FORMALISIERUNG VON ANFORDERUNGEN 5.2.2.2 PARAMETER UND VARIABLEN 59
5.2.2.3 REAKTIONSVERHALTEN, SITUATIONSVERHALTEN UND INVARIANTEN 60 5.2.3
SYSTEMSICHT UND UEBERGANG ZUM DESIGNMODELL 61 5.3 FORMALE DEFINITION DES
MODELLS 61 5.3.1 ZEIT 61 5.3.2 VARIABLEN 62 5.3.3 ZUSTAENDE 62 5.3.4
ZUSTANDSRAUM 63 5.3.5 EREIGNISSE 63 5.3.6 ZUSTANDSUEBERGAENGE 64 5.3.7
AKTIVITAETEN UND IHRE PARAMETER 64 5.4 AUSSAGEN AUF DEM FORMALEN MODELL
65 5.4.1 REAKTIONSVERHALTEN 66 5.4.2 SITUATIONSVERHALTEN 68 5.4.3
INVARIANTEN 69 5.5 ZUSAMMENFASSUNG DES FORMALEN MODELLS 69 6. DEFINITION
EINER GEEIGNETEN DARSTELLUNGSFORM 72 6.1 QUALITAETSKRITERIEN FUER DIE
DARSTELLUNG VON ANFORDERUNGEN 72 6.2 DIMENSIONEN DER VERWENDETEN
DARSTELLUNGSFORM 74 6.3 DARSTELLUNG DER ANFORDERUNGSBESTANDTEILE 75
6.3.1 DARSTELLUNG VON EREIGNISSEN UND ZUSTAENDEN 77 6.3.1.1
VERWALTUNG/STRUKTURIERUNG VON EREIGNISSEN UND ZUSTAENDEN 77 6.3.1.2
FORMATIERUNG UND FORMULIERUNG VON EREIGNISSEN UND ZUSTAENDEN 79 6.3.2
DARSTELLUNG VON AKTIVITAETEN UND IHREN PARAMETERN 80 6.3.2.1
VERWALTUNG/STRUKTURIERUNG VON AKTIVITAETEN UND PARAMETERN 80 6.3.2.2
FORMULIERUNG UND FORMATIERUNG VON AKTIVITAETEN UND PARAMETERN 80 6.3.3
DARSTELLUNG VON VARIABLEN 81 6.4 DARSTELLUNG DER ANFORDERUNGEN 81 6.4.1
SCHLUESSELWORTE 82 6.4.2 DARSTELLUNG VON REAKTIONSVERHALTEN 84 6.4.3
DARSTELLUNG VON SITUATIONSVERHALTEN 85 6.4. MODELLBASIERTE
FORMALISIERUNG VON ANFORDERUNGEN 7.3.4 ANFORDERUNG FILTERN 110 7.3.5
FORMALISIERUNGSZIEL FESTLEGEN 111 7.4 DEMONSTRATION UND DISKUSSION
ANHAND DER FALLSTUDIE 111 7.5 ZUSAMMENFASSUNG 113 7.6 STECKBRIEF
*KLASSIFIKATION 114 8. FORMULIERUNG 115 8.1 KURZBESCHREIBUNG 115 8.2
DATENELEMENTE 115 8.2.1 LOGISCHE AKTION 117 8.2.1.1 EREIGNIS 117 8.2.1.2
ZUSTAND 118 8.2.1.3 ZUSTANDSRAUM 118 8.2.1.4 AKTIVITAET 119 8.2.1.5
VARIABLE 119 8.2.1.6 PARAMETER 119 8.2.2 KATALOG LOGISCHER AKTIONEN 120
8.2.3 ANFORDERUNGSMUSTER 120 8.2.3.1 SYSTEMREAKTION 121 8.2.3.2
SYSTEMVERAENDERUNG 121 8.2.3.3 EREIGNISABHAENGIGES VERBOT 122 8.2.3.4
SITUATIONSVERHALTEN 122 8.2.3.5 SITUATIONSEINSCHRAENKUNG 122 8.2.3.6
EREIGNISUNABHAENGIGES VERBOT 123 8.2.3.7 INVARIANTE 123 8.3 AKTIVITAETEN
124 8.3.1 EXTRAKTION DER LOGISCHEN AKTIONEN 124 8.3.2 ANWENDUNG DER
ANFORDERUNGSMUSTER 125 8.4 DEMONSTRATION UND DISKUSSION ANHAND DER
FALLSTUDIE 125 8.4.1 AUSGANGSSITUATION 125 8.4.2 DEMONSTRATION DES
GESAMTEN ABLAUFS IM UEBERBLICK 126 8.4.3 EXTRAKTION VON LOGISCHEN
AKTIONEN IM DETAIL 128 8.4.4 ANWENDUNG DER ANFORDERUNGSMUSTER IM DETAIL
131 8.5 ZUSAMMENFASSUNG 133 8.6 STECKBRIEF *FORMULIERUNG 133 9.
STRUKTURIERUNG............... 135 9.1 KURZBESCHREIBUNG 135 9.2
DATENELEMENTE 135 9.2.1 DIENST 136 9.2. MODELLBASIERTE FORMALISIERUNG
VON ANFORDERUNGEN 10.3 UEBERSETZUNG DER ANFORDERUNGS- IN DESIGNELEMENTE
149 10.3.1 UEBERSETZEN VON LOGISCHEN AKTIONEN 149 10.3.2 UEBERSETZEN VON
VERHALTENSANFORDERUNGEN 150 10.3.3 UEBERSETZEN VON INVARIANTEN 151 10.4
RUECKKOPPLUNG VOM DESIGN INS ANFORDERUNGSMANAGEMENT 152 10.5 AKTIVITAETEN
153 10.5.1 LOGISCHE AKTIONEN UND INVARIANTEN ANS DESIGN UEBERGEBEN 153
10.5.2 ANFORDERUNG ANS DESIGN UEBERGEBEN 153 10.6 ZUSAMMENFASSUNG 154
10.7 STECKBRIEF *UEBERGABE ANS DESIGN 154 TEIL IV: EINBETTUNG IN DEN
ENTWICKLUNGSPROZESS 11. DATENMODELL 156 11.1 DATENMODELL DER
FORMALISIERUNG 156 11.2 EINORDNUNG IN DAS REFERENZ-DATENMODELL 159 12.
AKTIVITAETENMODELL 162 12.1 AKTIVITAETENMODELL DER FORMALISIERUNG 162 12.2
EINORDNUNG IN DAS REFERENZ-AKTIVITAETENMODELL 163 12.3 VERZAHNUNG VON
ANFORDERUNGSERARBEITUNG UND -DOKUMENTATION 165 13. REIFEGRADMODELL 168
13.1 REFERENZMODELLE FUER DIE REIFE EINER ANFORDERUNG 168 13.2 EINORDNUNG
DER FORMALISIERUNG IN EIN REIFEGRADMODELL 171 13.2.1 SPECIFICATION 171
13.2.2 AGREEMENT 171 13.2.3 REPRESENTATION 172 TEIL V: BEWERTUNG UND
AUSBLICK 14. DISKUSSION AEHNLICHER ARBEITEN 174 14.1 DAS SOPHIST
REGELWERK 174 14.2 ATTEMPTO CONTROLLED ENGLISH 176 14.3
SICHERHEITSFACHSPRACHE DER UNI COTTBUS 177 14.4 MODELLBASIERTE ERFASSUNG
VON ANFORDERUNGEN MIT UML 178 14.
|
| any_adam_object | 1 |
| author | Fleischmann, Andreas |
| author_facet | Fleischmann, Andreas |
| author_role | aut |
| author_sort | Fleischmann, Andreas |
| author_variant | a f af |
| building | Verbundindex |
| bvnumber | BV035277830 |
| classification_rvk | ZO 4250 |
| classification_tum | VER 085d DAT 335d DAT 260f |
| ctrlnum | (OCoLC)403993054 (DE-599)BVBBV035277830 |
| dewey-full | 629.20284 004.21 |
| dewey-hundreds | 600 - Technology (Applied sciences) 000 - Computer science, information, general works |
| dewey-ones | 629 - Other branches of engineering 004 - Computer science |
| dewey-raw | 629.20284 004.21 |
| dewey-search | 629.20284 004.21 |
| dewey-sort | 3629.20284 |
| dewey-tens | 620 - Engineering and allied operations 000 - Computer science, information, general works |
| discipline | Maschinenbau / Maschinenwesen Informatik Verkehrstechnik Verkehr / Transport |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02195nam a2200541 c 4500</leader><controlfield tag="001">BV035277830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100210 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090129s2008 ad|| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992714028</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783640174966</subfield><subfield code="9">978-3-640-17496-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3640174968</subfield><subfield code="9">3-640-17496-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)403993054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035277830</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-860</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.20284</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZO 4250</subfield><subfield code="0">(DE-625)157719:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 085d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</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">Fleischmann, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich</subfield><subfield code="c">Andreas Fleischmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">GRIN-Verl.</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">208 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2008</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</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="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="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">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><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="3"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</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">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=017083090&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-017083090</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035277830 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:30:16Z |
| institution | BVB |
| isbn | 9783640174966 3640174968 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017083090 |
| oclc_num | 403993054 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-83 DE-860 |
| owner_facet | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-83 DE-860 |
| physical | 208 S. Ill., graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | GRIN-Verl. |
| record_format | marc |
| spelling | Fleischmann, Andreas Verfasser aut Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich Andreas Fleischmann 1. Aufl. München [u.a.] GRIN-Verl. 2008 208 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: München, Techn. Univ., Diss., 2008 Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung Kraftfahrzeugelektronik (DE-588)4191569-0 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kraftfahrzeugelektronik (DE-588)4191569-0 s Eingebettetes System (DE-588)4396978-1 s Requirements engineering (DE-588)4213997-1 s Formalisierung (DE-588)4123217-3 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017083090&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fleischmann, Andreas Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Formalisierung (DE-588)4123217-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Requirements engineering (DE-588)4213997-1 gnd |
| subject_GND | (DE-588)4191569-0 (DE-588)4123217-3 (DE-588)4396978-1 (DE-588)4213997-1 (DE-588)4113937-9 |
| title | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich |
| title_auth | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich |
| title_exact_search | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich |
| title_full | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich Andreas Fleischmann |
| title_fullStr | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich Andreas Fleischmann |
| title_full_unstemmed | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich Andreas Fleischmann |
| title_short | Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich |
| title_sort | modellbasierte formalisierung von anforderungen fur eingebettete systeme im automotive bereich |
| topic | Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Formalisierung (DE-588)4123217-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Requirements engineering (DE-588)4213997-1 gnd |
| topic_facet | Kraftfahrzeugelektronik - Eingebettetes System - Requirements engineering - Formalisierung Kraftfahrzeugelektronik Formalisierung Eingebettetes System Requirements engineering Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017083090&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fleischmannandreas modellbasierteformalisierungvonanforderungenfureingebettetesystemeimautomotivebereich |