Wintersemester 2023/2024

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen

Sommersemester 2023

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler

Wintersemester 2022/2023

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen

Sommersemester 2022

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Übung	Übungen zu Fortgeschrittene Objektorientierung
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2021/2022

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Compilerpraktikum

Sommersemester 2021

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2020/2021

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	PSE: Visualisierung von Typinferenz

Sommersemester 2020

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2019/2020

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Praxis der Softwareentwicklung - Codespeed 2.0

Sommersemester 2019

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Semantik von Programmiersprachen
Übung	Übungen zu Fortgeschrittene Objektorientierung
Übung	Übungen zu Semantik von Programmiersprachen

Wintersemester 2018/2019

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Compilerpraktikum

Sommersemester 2018

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Praktikum	PSE: Visualisierung von Prolog-Ausführungen
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2017/2018

Art	Veranstaltung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Praxis der Softwareentwicklung - λ-IDE

Sommersemester 2017

Art	Veranstaltung
Vorlesung	Sprachtechnologie und Compiler
Vorlesung	Erkenntnistheorie
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Semantik von Programmiersprachen
Übung	Übung zu Sprachtechnologie und Compiler
Übung	Übungen zu Fortgeschrittene Objektorientierung
Übung	Übungen zu Semantik von Programmiersprachen
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie
Praktikum	Programmanalyse zum Durchklicken

Wintersemester 2016/2017

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Automatische Teameinteilung für PSE
Praktikum	Compilerpraktikum
Praktikum	KASTEL-Praktikum Sicherheit

Sommersemester 2016

Art	Veranstaltung
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Erkenntnistheorie
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Praktikum	PSE: Visualisierung von Programmgraphen
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2015/2016

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Compilerpraktikum

Sommersemester 2015

Art	Veranstaltung
Vorlesung	Sprachtechnologie und Compiler
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Semantik von Programmiersprachen
Übung	Übung zu Sprachtechnologie und Compiler
Übung	Übungen zu Fortgeschrittene Objektorientierung
Übung	Übungen zu Semantik von Programmiersprachen

Wintersemester 2014/2015

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Compilerpraktikum
Seminar	Software-Sicherheitsanalyse
Projektpraktikum	PSE: Lambda das Spiel

Sommersemester 2014

Art	Veranstaltung
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Übung	Übungen zu Fortgeschrittene Objektorientierung
Projektpraktikum	PSE: Sudoku

Wintersemester 2013/2014

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Projektpraktikum	PSE: Alligatoren lehren Lambda

Sommersemester 2013

Art	Veranstaltung
Vorlesung	Sprachtechnologie und Compiler
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Übung	Übung zu Sprachtechnologie und Compiler
Übung	Übungen zu Fortgeschrittene Objektorientierung
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2012/2013

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Programmierparadigmen
Übung	Programmierparadigmen - Übungen
Praktikum	Compilerpraktikum

Sommersemester 2012

Art	Veranstaltung
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Semantik von Programmiersprachen
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Übung	Übungen zu Fortgeschrittene Objektorientierung
Übung	Übungen zu Semantik von Programmiersprachen
Übungsschein	Programmieren für Wiederholer

Wintersemester 2011/2012

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Praxis der Softwareentwicklung - SudoPhone: Sudoku für Smartphones mit Android
Vorlesung	Programmierparadigmen
Übung	Programmieren
Übung	Programmierparadigmen - Übungen

Sommersemester 2011

Art	Veranstaltung
Vorlesung	(Compiler II)
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Praxis der Softwareentwicklung - Smartphoneprogrammierung in Java
Übung	Fortgeschrittene Objektorientierung
Praktikum	Compilerpraktikum
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie
Seminar	Softwaresicherheit

Wintersemester 2010/2011

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Praxis der Softwareentwicklung: TauchcomputerApp - Sicherheitskritische Software für Android
Vorlesung	Programmierparadigmen
Vorlesung	Sprachtechnologie und Compiler
Übung	Programmierparadigmen - Übungen
Übung	Übung zu Sprachtechnologie und Compiler

Sommersemester 2010

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Praxis der Softwareentwicklung - Handyprogrammierung in Java
Vorlesung	Semantik von Programmiersprachen
Übung	Übungen zu Semantik von Programmiersprachen
Praktikum	Compilerpraktikum
Praktikum	Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie
Seminar	Programmkalküle für Parallelität
Seminar	Sprachen für Parallelprogrammierung
Übungsschein	Programmieren für Wiederholer
Abschlussaufgaben	Programmieren für Wiederholer

Wintersemester 2009/2010

Art	Veranstaltung
Vorlesung	Praxis der Softwareentwicklung
Vorlesung	Praxis der Softwareentwicklung - Handyprogrammierung in Java
Vorlesung	Programmieren
Vorlesung	Sprachtechnologie und Compiler
Übung	Übung zu Sprachtechnologie und Compiler
Tutorium	Tutorien zu Programmieren

Sommersemester 2009

Art	Veranstaltung
Vorlesung	Fortgeschrittene Objektorientierung
Vorlesung	Sprachtechnologie und Compiler II
Vorlesung	Theorembeweiser und ihre Anwendungen
Übung	Übungen zu Fortgeschrittene Objektorientierung
Übung	Übungen zu Sprachtechnologie und Compiler II
Übung	Übungen zu Theorembeweiser und ihre Anwendungen
Praktikum	Compilerpraktikum
Übungsschein	Programmieren für Wiederholer

Wintersemester 2008/2009

Art	Veranstaltung
Vorlesung	Programmieren
Vorlesung	Sprachtechnologie und Compiler 1
Übung	Übungen zu Sprachtechnologie und Compiler
Tutorium	Tutorien zu Programmieren

Sommersemester 2008

Art	Veranstaltung
Vorlesung	Compiler II
Vorlesung	Fortgeschrittene Objektorientierung
Übung	Übungen zu Compiler II
Übung	Übungen zu Fortgeschrittene Objektorientierung