Fachbereiche | |
---|---|
Buchreihen (92) |
1307
|
Geisteswissenschaften |
2291
|
Naturwissenschaften |
5354
|
Mathematik | 224 |
Informatik | 313 |
Physik | 975 |
Chemie | 1354 |
Geowissenschaften | 131 |
Humanmedizin | 242 |
Zahn-, Mund- und Kieferheilkunde | 10 |
Veterinärmedizin | 99 |
Pharmazie | 147 |
Biologie | 830 |
Biochemie, Molekularbiologie, Gentechnologie | 117 |
Biophysik | 25 |
Ernährungs- und Haushaltswissenschaften | 44 |
Land- und Agrarwissenschaften | 996 |
Forstwissenschaften | 201 |
Gartenbauwissenschaft | 20 |
Umweltforschung, Ökologie und Landespflege | 145 |
Ingenieurwissenschaften |
1745
|
Allgemein |
91
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
Inhaltsverzeichnis, Datei (34 KB)
Leseprobe, Datei (180 KB)
Die vorliegende Arbeit wurde im Rahmen der wissenschaftlichen Kooperation zwischen Friedrich-Alexander-Universität Erlangen-Nürnberg und Audi AG Ingolstadt am Ingolstadt Institute der Friedrich-Alexander-Universität Erlangen-Nürnberg (INI.FAU) erstellt. In dieser Arbeit wurde eine systematische Methodik (ein Vorgehensmodell) zur formalen Definition von Testspezifikationen für eingebettete reaktive Systeme entwickelt. Die Methodik basiert auf dem Grundgedanken der Modell-getriebenen Software-Entwicklung (MDSD), bei der es darum geht, aus formalen und plattformunabhängigen Modellen mittels Verfeinerungsschritten und der automatisierten Transformation in ein bestimmtes Zielformat lauffähige Applikationen zu erzeugen.
ISBN-13 (Printausgabe) | 3869553545 |
ISBN-13 (Printausgabe) | 9783869553542 |
ISBN-13 (E-Book) | 9783736933545 |
Sprache | Deutsch |
Seitenanzahl | 236 |
Auflage | 1 Aufl. |
Buchreihe | Audi Dissertationsreihe |
Band | 33 |
Erscheinungsort | Göttingen |
Promotionsort | Friedrich-Alexander-Universität Erlangen-Nürnberg |
Erscheinungsdatum | 15.06.2010 |
Allgemeine Einordnung | Dissertation |
Fachbereiche |
Informatik
|