Customer Support/Contact

Departments
Book Series (92)	1308
Humanities	2293
Natural Sciences	5354
Mathematics	224
Informatics	313
Physics	975
Chemistry	1354
Geosciences	131
Human medicine	242
Stomatology	10
Veterinary medicine	99
Pharmacy	147
Biology	830
Biochemistry, molecular biology, gene technology	117
Biophysics	25
Domestic and nutritional science	44
Agricultural science	996
Forest science	201
Horticultural science	20
Environmental research, ecology and landscape conservation	145
Engineering	1746
Common	91
Leitlinien Unfallchirurgie 5. Auflage bestellen

Advanced Search

Datenbank-gestützte Prozessautomatisierung bei Software-Tests

Hard Copy
EUR 41.30 EUR 39.24

E-book
EUR 0.00

Download

PDF (3.2 MB)

Open Access CC BY 4.0

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)

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 (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