User: Guest  Login
Original title:
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich 
Translated title:
Model-Based Formalization of Embedded Systems Requirements in the Automotive Domain 
Year:
2008 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Prof. Dr. Dr. h.c. Manfred Broy 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Partsch, Helmuth (Prof. Dr.) 
Language:
de 
Subject group:
ALL Allgemeines 
Keywords:
Informatik, Anforderungsmanagement, Anforderungen, Modellierung, Formalisierung 
Translated keywords:
Computer Science, Requirements, Requirements Engineering, Modeling, Formalization 
Abstract:
In dieser Arbeit wird ein Ansatz zur Formalisierung von Anforderungen entwickelt, der informelle Anforderungen schrittweise in eine formalere Form bringt (sodass sie präziser formuliert sind und Konsistenzsicherung leichter ausgeführt werden können) und dabei die Verständlichkeit der Anforderungen erhält (sodass die Anforderungen verständlich bleiben und validiert werden können). Im Kern besteht der Ansatz darin, das den Anforderungen zugrundeliegende Denkmodell zu identifizieren und formal zu d...    »
 
Translated abstract:
In this work a method for formalizing requirements was developed, that gradually brings informal requirements in a more formal form (so that they are formulated more exactly and consistency protection can be easier explained) and that still conserves the intelligibility of the requirements (so that the requirements remain understandable and validateable). In the core the approach consists in: (1) identifying the mental model underlying the requirements, and formally defining it; (2) developing...    »
 
Last change:
17.01.2012