User: Guest  Login
Original title:
Intentional Meaning of Programs 
Translated title:
Die Intensionale Bedeutung von Programmen 
Year:
2009 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c) 
Referee:
Koschke, Rainer (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
program understanding, program interpretation, program analysis, ontologies 
Translated keywords:
Programm Verstehen, Programm Interpretation, Programm Analyse, Ontologien 
Abstract:
In this dissertation we present a new approach for bridging the gap between the domain knowledge and programs by defining explicit mappings between program entities and domain concepts shared within domain ontologies. We call these mappings the ``intentional interpretation'' and they define explicitly the ``intentional meaning'' of a program. We use the intentional meaning to characterize the degree in which the code reflects the domain knowledge. We investigate how do the mismatches between...    »
 
Translated abstract:
In dieser Dissertation wird ein neuartiger Ansatz erarbeitet, um die Verknüpfung zwischen Programmen und Domänenwissen mit Hilfe von expliziten Abbildungen zwischen Programmelementen und Domänenkonzepten aus Domänenontologien zu schaffen. Wir nennen diese Abbildungen die “intentionale Interpretation”, welche die “intensionale Bedeutung” eines Programms definieren. Wir benutzen diese intensionale Bedeutung um die Art und Weise der Darstellung von Domänenwissen in Programmen zu charakterisieren. E...    »
 
Oral examination:
09.07.2009 
Pages:
239 
Last change:
07.08.2009