Logo
User: Guest  Login
Autor:
Bayer, Arne 
Originaltitel:
Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung 
Übersetzter Titel:
Visual data flow language with higher-order combinators 
Jahr:
2004 
Typ:
Dissertation 
Einrichtung:
Universität der Bundeswehr München, Fakultät für Informatik 
Fakultät:
Fakultät für Informatik 
Institut:
INF 2 - Institut für Softwaretechnologie 
Professur:
Schmidt, Gunther 
Betreuer:
Schmidt, Gunther, Prof. Dr. 
Gutachter:
Schmidt, Gunther, Prof. Dr.; Schürr, Andy, Prof. Dr. 
Format:
PDF 
Sprache:
Deutsch 
Fachgebiet:
Informatik, Datenverarbeitung 
Schlagworte:
Graphische Programmierung ; Datenfluss ; Kombinator ; Transformation ; Lambda-Kalkül 
Stichworte:
Visuelle Programmierung, Datenfluss, Kombinator, Transformation, Lambda-Kalkül 
Übersetzte Stichworte:
visual programming, data flow, combinator, transformation, lambda-calculus 
Kurzfassung:
Moderne Softwaretechnik (Software Engineering) befasst sich mit der professionellen Entwicklung von hochqualitativen Softwaresystemen. Softwarequalität und insbesondere die relative Korrektheit eines Programms kann mit Hilfe von formalen Verfahren auf der Basis einer Spezifikation bestimmt werden. Im besten Falle kann a posteriori auf der Grundlage eines fertigen Programms eine formale Verifikation durchgeführt werden. Diese Arbeit untersucht eine konstruktive Herangehensweise, die Programme a...    »
 
Übersetzte Kurzfassung:
Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs correctly a priori by transforming an abstract pecification successively into an executable program. A g...    »
 
Tag der mündlichen Prüfung:
26.11.2004 
Eingestellt am:
21.11.2005 
Ort:
Neubiberg 
Stadt (Autor):
Starnberg 
Vorname (Autor):
Arne 
Nachname (Autor):
Bayer