Sommersemester 2023
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Common Excercises | Tutorial for Language Technology and Compilers |
Wintersemester 2022/2023
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
Sommersemester 2022
| Type | Course |
|---|---|
| Lecture | Advanced Object-Orientation |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Advanced Object-Orientation Excercises |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2021/2022
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Compiler Lab |
Sommersemester 2021
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2020/2021
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | PSE: Visualisation of Type Inference |
Sommersemester 2020
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Laboratory |
|
Wintersemester 2019/2020
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Software Engineering Practice - Codespeed 2.0 |
Sommersemester 2019
| Type | Course |
|---|---|
| Lecture | Advanced Object-Orientation |
| Lecture | Semantics of programming languages |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Advanced Object-Orientation Excercises |
| Common Excercises | Tutorial for Semantics of programming languages |
Wintersemester 2018/2019
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Compiler Lab |
Sommersemester 2018
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Laboratory | PSE: Visualisation of Prolog Executions |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2017/2018
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Software Engineering Practice - λ-IDE |
Sommersemester 2017
| Type | Course |
|---|---|
| Lecture |
|
| Lecture | Advanced Object-Orientation |
| Lecture | Semantics of programming languages |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises |
|
| Common Excercises | Advanced Object-Orientation Excercises |
| Common Excercises | Tutorial for Semantics of programming languages |
| Laboratory |
|
| Laboratory | Programm analysis via clicking |
Wintersemester 2016/2017
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Automatic Team Scheduling for PSE |
| Laboratory | Compiler Lab |
| Laboratory | KASTEL-Lab: Security |
Sommersemester 2016
| Type | Course |
|---|---|
| Lecture |
|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Laboratory | PSE: Visualisierung von Programmgraphen |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2015/2016
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Compiler Lab |
Sommersemester 2015
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Advanced Object-Orientation |
| Lecture | Semantics of programming languages |
| Lecture | Software Engineering Practice |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Common Excercises | Advanced Object-Orientation Excercises |
| Common Excercises | Tutorial for Semantics of programming languages |
Wintersemester 2014/2015
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Compiler Lab |
| Seminary | Software Security Analysis |
| Project Laboratory | PSE: Lambda the Game |
Sommersemester 2014
| Type | Course |
|---|---|
| Lecture | Advanced Object-Orientation |
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Common Excercises | Advanced Object-Orientation Excercises |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Project Laboratory | PSE: Sudoku |
Wintersemester 2013/2014
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
| Project Laboratory | PSE: Alligators teach Lambda |
Sommersemester 2013
| Type | Course |
|---|---|
| Lecture | Language Technology and Compiler |
| Lecture | Advanced Object-Orientation |
| Lecture | Software Engineering Practice |
| Common Excercises | Tutorial for Language Technology and Compiler |
| Common Excercises | Advanced Object-Orientation Excercises |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2012/2013
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | Compilerpraktikum |
Sommersemester 2012
| Type | Course |
|---|---|
| Lecture | Advanced Object-Orientation |
| Lecture | Language Technology and Compiler |
| Lecture | Semantics of programming languages |
| Lecture | Software Engineering Practice |
| Common Excercises | Advanced Object-Orientation Excercises |
| Common Excercises | Tutorial for Language Technology and Compiler |
| Common Excercises | Tutorial for Semantics of programming languages |
| Übungsschein | Programmieren für Wiederholer |
Wintersemester 2011/2012
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Software Engineering Practice - SudoPhone |
| Common Excercises | programming |
| Common Excercises | Programming Paradigms - Exercises |
Sommersemester 2011
| Type | Course |
|---|---|
| Lecture | (Compiler II) |
| Lecture | Advanced object-orientation |
| Lecture | Software Engineering Practice |
| Lecture | Software Engineering Practice - Smartphoneprogramming in Java |
| Common Excercises | Advanced object-orientation |
| Laboratory | Compilerpraktikum |
| Laboratory | Theorem prover lab: applications in programming languages |
| Seminary | Software security |
Wintersemester 2010/2011
| Type | Course |
|---|---|
| Lecture | Language Technology and Compiler |
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Software Engineering Practice: DivingComputerApp - Security-sensitive Applications for Android |
| Common Excercises | Programming Paradigms - Exercises |
| Common Excercises | Tutorial for Language Technology and Compiler |
Sommersemester 2010
| Type | Course |
|---|---|
| Lecture | Semantics of programming languages |
| Lecture | Software Engineering Practice |
| Lecture | Software Engineering Practice - Java Development for Cellphones |
| Common Excercises | Tutorial for Semantics of programming languages |
| Laboratory | Compilerpraktikum |
| Laboratory | Theorem prover lab: applications in programming languages |
| Seminary | Languages for Parallel Programming |
| Seminary | Programmkalküle für Parallelität |
| Übungsschein | Programmieren für Wiederholer |
| Abschlussaufgaben | Programmieren für Wiederholer |
Wintersemester 2009/2010
| Type | Course |
|---|---|
| Lecture | Language Technology and Compiler |
| Lecture | Programmieren |
| Lecture | Software Engineering Practice |
| Lecture | Software Engineering Practice - Java Development for Cellphones |
| Common Excercises | Language Technology and Compiler - exercises |
| Tutorial | Tutorien zu Programmieren |
Sommersemester 2009
| Type | Course |
|---|---|
| Lecture | Advanced object-orientation |
| Lecture | Compiler II |
| Lecture | Theorem provers and their applications |
| Common Excercises | Advanced object-orientation - exercises |
| Common Excercises | Theorem provers and their applications - exercises |
| Common Excercises | Übungen zu Compiler II |
| Laboratory | Compilerpraktikum |
| Übungsschein | Programmieren für Wiederholer |
Wintersemester 2008/2009
| Type | Course |
|---|---|
| Lecture | Language Technology and Compiler 1 |
| Lecture | Programming |
| Common Excercises | Übungen zu Sprachtechnologie und Compiler |
| Tutorial | Tutorial for Programming |
Sommersemester 2008
| Type | Course |
|---|---|
| Lecture | Compiler II |
| Lecture | Fortgeschrittene Objektorientierung |
| Common Excercises | Übungen zu Compiler II |
| Common Excercises | Übungen zu Fortgeschrittene Objektorientierung |