Cookies help us deliver our services. By using our services, you agree to our use of cookies.

Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

De En Es
Datenbank-gestützte Prozessautomatisierung bei Software-Tests

Hard Copy
EUR 41.30 EUR 0.00

E-book
EUR 0.00

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.