Wintersemester 2012/2013
| Type | Course |
|---|---|
| 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 |