- Methodik der Programmierung
- funktionale Programmierung
- imperative Programmierung
- objektorientierte Programmierung
- Formale Entwurfsmethoden
- Programmtransformation
- Programmierkalküle
- Softwarespezifikation
- logische und algebraische Spezifikation
- konstruktive Spezifikation
- Anwendungen
- sequentielle und parallele Algorithmen
- Komponentenentwurf
- Hardwarebeschreibung
|
- Konzepte höherer Programmiersprachen
- funktionale Sprachen
- imperative Sprachen
- objektorientierte Sprachen
- Grundlagen von Programmiersprachen
- denotationelle Semantik
- operationelle Semantik
- Implementation von Programmiersprachen
- Übersetzer (Compiler)
- Interpreter
|
