Benutzer: Gast  Login
Originaltitel:
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich 
Übersetzter Titel:
Model-Based Formalization of Embedded Systems Requirements in the Automotive Domain 
Jahr:
2008 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Prof. Dr. Dr. h.c. Manfred Broy 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Partsch, Helmuth (Prof. Dr.) 
Sprache:
de 
Fachgebiet:
ALL Allgemeines 
Stichworte:
Informatik, Anforderungsmanagement, Anforderungen, Modellierung, Formalisierung 
Übersetzte Stichworte:
Computer Science, Requirements, Requirements Engineering, Modeling, Formalization 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Letzte Änderung:
17.01.2012