Forschung |
Forschungsschwerpunkte
Grundlagen von Programmiersprachen und
Programmentwicklung
- Semantik von Programmiersprachen
- Formale Methoden (insbesondere Transformationelle
Programmierung, invariantenbasierte Programmentwicklung
und "calculational style")
- Logische Aspekte der Programmentwicklung
- Unterstützende Werkzeuge (insbesondere unser
Visualisierungs-Werkzeug KIEL und unsere
graphische Oberfläche JAVA-RAP für das
Passauer
RAP System)
Relationale Methoden in der Informatik
- Abstrakte Relationenalgebra
- Relationenbasierte Problemspezifikation und
Programmentwicklung
- Verallgemeinerungen der Relationenalgebra zur
Erweiterung der Anwendungsmöglichkeiten der
Methoden
- Unterstützende Werkzeuge (insbesondere unser
Prototyping-Werkzeug RelView)
Graphen und Algorithmen
- Graphen zur Modellbildung
- Formale Entwicklung von graphentheoretischen
Algorithmen
- Visualisierung von Relationen als Graphen
- Implementierung von Graphen als BDDs
- Softwarevisualisierung und Animation von Algorithmen
Entscheidungstheorie
- Bildung von Koalitionen und Allianzen
- Untersuchung von 0/1-Spielen und Berechnung von
Machtindizes
Kooperationen
- Mit der Medizinische Universität Lübeck
- Projekt Teachware
- Mit den Universitäten Augsburg, Buenos Aires,
Cordoba - DAAD Project PROALAR
- Internationale Arbeitsgruppe
RelMiCS
- COST - Action 274
TARSKI
- ESF - Research programme
LogiCCC,
Projekt SSEAC,
mit den Universitäten Lyon, Tilburg, Turku und Valladolid
Forschungsberichte (Auszüge aus den
Institutsberichten)
Rudolf Berghammer -
rub@informatik.uni-kiel.de
Last modified:
03-Feb-2009, 13:15:25 MET
