Abteilung Formale Sprachen

Forschungsgebiete

Arbeitsgruppe Formale Sprachen

Die Abteilung befasst sich mit der Theorie und Anwendung von graphbasierten Programmiersprachen, insbesondere der Entwicklung korrekter Transformationssysteme und Programme auf der Basis von Graphersetzung. Daneben befasst sich die Abteilung im Rahmen der Didaktik der Informatik mit der Erarbeitung und Evaluation tragfähiger Konzepte für den schulischen Informatik-Unterricht.

Schlagworte

Graph-basierte Programmiersprache / Korrektheit von Graphprogrammen / Didaktik der Informatik

Areas of research

The group concerns with the theory and application of graph-based programming languages. Work on the design and analysis of programming languages on the basis of graph replacement is done. Beside this topic, the group is concerned with the development and evaluation of capable concepts for teaching computer science.

Keywords

graph-based programming languages / correctness of graph programs / didactics of computing science

Forschungsprojekte

Projektliste der Forschungseinrichtung
http://formale-sprachen.informatik.uni-oldenburg.de/projects/dcgts/

Kontakt

Ansprechpartner/-in

Frau Prof. Dr. Annegret Habel
Telefon:
0441 / 798-2998
Telefax:
0441 / 798-2965

Forschungseinrichtung

Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Abteilung Formale Sprachen
Hausanschrift:
Ammerländer Heerstraße 114-118
26129 Oldenburg
Telefon:
0441 / 798-4398
Telefax:
0441 / 798-2155
Stand: 19.06.2006