Cuvillier Verlag
| Departments | |
|---|---|
| Book Series (90) |
1259
|
| Humanities |
2245
|
| Natural Sciences |
5309
|
| Mathematics | 223 |
| Informatics | 310 |
| Physics | 971 |
| Chemistry | 1346 |
| Geosciences | 130 |
| Human medicine | 241 |
| Stomatology | 10 |
| Veterinary medicine | 98 |
| Pharmacy | 147 |
| Biology | 812 |
| Biochemistry, molecular biology, gene technology | 114 |
| Biophysics | 25 |
| Domestic and nutritional science | 44 |
| Agricultural science | 992 |
| Forest science | 202 |
| Horticultural science | 18 |
| Environmental research, ecology and landscape conservation | 145 |
| Engineering |
1712
|
| Common |
91
|
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
|
Advanced Search
Datenbank-gestützte Prozessautomatisierung bei Software-Tests (Volume 33) (English shop)
Vladimir Entin (Author)Preview
Table of Contents, Datei (34 KB)
Extract, Datei (180 KB)
| ISBN-13 (Printausgabe) | 3869553545 |
| ISBN-13 (Hard Copy) | 9783869553542 |
| ISBN-13 (eBook) | 9783736933545 |
| Language | Alemán |
| Page Number | 236 |
| Edition | 1 Aufl. |
| Book Series | Audi Dissertationsreihe |
| Volume | 33 |
| Publication Place | Göttingen |
| Place of Dissertation | Friedrich-Alexander-Universität Erlangen-Nürnberg |
| Publication Date | 2010-06-15 |
| General Categorization | Dissertation |
| Departments |
Informatics
|
Description
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.
