AG Programmiersprachen
Prof. Dr. Ralf Hinze

Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen. Die AG Programmiersprachen konzentriert sich derzeit auf folgende Themenbereiche:

• Funktionale, objektorientierte und verteilte Programmierung
• Generative Softwarekonstruktion
• Entwurf von Softwaresprachen

Informationen zur Lehre

• Wintersemester 2024/25
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
  • Seminar “Software Engineering”
• Sommersemester 2024
  • Bachelor/Master Projekt “Software Engineering”
• Wintersemester 2023/24
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
  • Seminar “Software Engineering”
• Sommersemester 2023
  • Programmierpraktikum
  • Vorlesung “Funktionale Programmierung”
• Wintersemester 2022/23
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
• Sommersemester 2022
  • Programmierpraktikum
  • Vorlesung “Formale Sprachen und Berechenbarkeit”
  • Vorlesung “Funktionale Programmierung”
  • Vorlesung “Programmieren verteilter Systeme”
  • Project “Software Engineering”
• Wintersemester 2021/22
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Replication and Consistency”
  • Project “Software Engineering”
• Sommersemester 2021
  • Programmierpraktikum
  • Vorlesung “Funktionale Programmierung”
  • Vorlesung “Programmieren verteilter Systeme”
  • Seminar “Software Engineering”
• Wintersemester 2020/21
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Compiler and Language Processing Tools”
  • Seminar “Software Engineering”
• Sommersemester 2020:
  • Programmierpraktikum
  • Vorlesung “Programmieren verteilter Systeme”
  • Bachelor Projekt “Software Engineering”
• Wintersemester 2019/20
  • Vorlesung “Grundlagen der Programmierung”
  • Lecture “Replication and Consistency”
  • Projekt “Software Engineering”
• Sommersemester 2019:
  • Programmierpraktikum
  • Vorlesung “Funktionale Programmierung”
  • Vorlesung “Programmieren verteilter Systeme”
  • Bachelor- und Master-Seminar Software Engineering
  • Vorlesung “Programmieren in Anwendungen”
  • Programmierprojekt für Hörer anderer Fachrichtungen
• Wintersemester 2018/19:
  • Vorlesung “Grundlagen der Programmierung”
• Sommersemester 2018:
  • Vorlesung “Funktionale Programmierung”
  • Vorlesung “Programming Distributed Systems”
  • Vorlesung “Programmieren in Anwendungen”
  • Veranstaltung “Training für Programmierwettbewerb”
  • Master Seminar “Software-Engineering”
  • Programmierprojekt

Sprechzeiten

Bitte konsultieren Sie die Seite der entsprechenden Person hier.