Courses

The ISP offers courses, seminars and projects on various topics. For issues and questions regarding mode and subjects of certain exams or courses, feel free to contact the corresponding lecturer. Note, that the number of participants in seminar courses is generally limited, however, everyone is welcome to follow the presentations. Feel free to suggest topics and courses you are interested in at any time. Also, we are always thankful for constructive comments and feed back to our courses.

Winter

In winterterm, typically the following courses are given

Bachelor-Projekt Informatik (BacProjI14)
Module: CS3701-KP05 Module Guide

Erweiterung des Bachelor-Projekts Informatik (ExtBacProj)
Module: CS3060-KP04 Module Guide

Projektpraktikum Software Systems Engineering (PrSSE14)
Module: CS5490-KP06 Module Guide

You can register for one of these projects in the Moodle course.

Programmiersprachen und Typsysteme (ProgLan14)
Module: CS3052-KP04 Module Guide
You can register in the Moodle course

Aktuelle Themen Software Systems Engineering (SSEaktuell)
Module: CS4212-KP04 Module Guide
You can register in the Moodle course

Software Engineering (SWEng14)
Module: CS2300-KP06 Module Guide
You can register in the Moodle course

Model Checking (ModelCha14)
Module part: Model Checking CS4138 T
Module Guide
Module part: Softwareverifikation (SoftVeri) CS4507-KP12 Module Guide
You can register in the Moodle course

Einführung in Software Systems Engineering (EinfSSE)
Module: CS1900-KP04 Module Guide
You can register in the Moodle course

Sichere Software (SichereSW)
Module: CS3250-KP08 Module Guide
You can register in the Moodle course

Zukunftsfähige Energieversorgung (EnergieZuk)
Module: PS5010-KP04 Module Guide
You can register in the Moodle course

Summer

In summerterm, typically the following courses are given:

Spezifikation und Modellierung (SpezMod14)
Module: CS4020-KP06 Module Guide
You can register in the Moodle course

Runtime Verification und Testen (RVTestena)
Module: CS4139 T RVTesten (Module part of CS4507) Module Guide
You can register in the Moodle course

Praktikum Software Engineering (SWEngPrakt)
Module: CS2301-KP06 Module Guide
You can register in the Moodle course

Summer and Winter

The following courses are given unregularly both in winterterm and summerterm

Englischsprachiges Seminar (SemiEngl)
Module: CS5840-KP04 Module Guide