Editorial Cuvillier
| Areas | |
|---|---|
| Serie de libros (90) |
1259
|
| Letra |
2245
|
| Ciencias Naturales |
5309
|
| Matemática | 223 |
| Informática | 310 |
| Física | 971 |
| Química | 1346 |
| Geociencias | 130 |
| Medicina humana | 241 |
| Estomatología | 10 |
| Veterinaria | 98 |
| Farmacia | 147 |
| Biología | 812 |
| Bioquímica, biología molecular, tecnología genética | 114 |
| Biofísica | 25 |
| Nutrición | 44 |
| Agricultura | 992 |
| Silvicultura | 202 |
| Horticultura | 18 |
| Ecología y conservación de la tierra | 145 |
| Ciencias Ingeniería |
1712
|
| General |
91
|
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
|
Erweiterte Suche
Datenbank-gestützte Prozessautomatisierung bei Software-Tests (Volumen 33) (Tienda española)
Vladimir Entin (Autor)Previo
Indice, Datei (34 KB)
Lectura de prueba, Datei (180 KB)
| ISBN-10 (Impresion) | 3869553545 |
| ISBN-13 (Impresion) | 9783869553542 |
| ISBN-13 (E-Book) | 9783736933545 |
| Idioma | Deutsch |
| Numero de paginas | 236 |
| Edicion | 1 Aufl. |
| Serie | Audi Dissertationsreihe |
| Volumen | 33 |
| Lugar de publicacion | Göttingen |
| Lugar de la disertacion | Friedrich-Alexander-Universität Erlangen-Nürnberg |
| Fecha de publicacion | 15.06.2010 |
| Clasificacion simple | Tesis doctoral |
| Area |
Informática
|
Descripcion
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.
