HOME | DEUTSCH | IMPRESSUM | KIT

Old Courses

Wintersemester 2016/2017

Type Course
Lecture Praxis der Softwareentwicklung
Lecture Programming Paradigms
Common Excercises Programming Paradigms - Exercises
Laboratory Automatic Team Scheduling for PSE
Laboratory Compiler Lab
Laboratory KASTEL-Lab: Security

Sommersemester 2016

Type Course
Lecture Advanced Object-Orientation
Lecture Language Technology and Compilers
Lecture Praxis der Softwareentwicklung
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