data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Courses – Lectures / Seminars / Practical training
latest update: October 14, 2021, at 09:10 AM
I N D E X
here you find the current course schedule (Faculty 1)
running courses
former courses
Pandemic Action Guideline of the BTU
contact tracing -> ZC_VG1C_02_01
related news:
Are ugly fonts more memorable ?
Current
winter semester 2021/2022
Einführung in die Nebenläufigkeit / Introduction into Concurrency (4+2) - last chance
Testen von Software / Software Testing (4+2) - last chance
Praktikum Software Validation (0+0+2) - last chance
Oberseminar (PhD seminar)
Overview of former courses
summer semester 2021
Informatik 2 - Algorithmieren und Programmieren (4+2)
Software Security (2+2)
Praktikum Software Validation (0+0+2)
Oberseminar (PhD seminar)
winter semester 2020/2021
Informatik 1 - Entwicklung von Softwaresystemen (4+2)
Introduction into Concurrency (4+2)
Praktikum Software Validation (0+0+2)
Oberseminar (PhD seminar)
summer semester 2020
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software / Dependable Software (4+2)
Praktikum Software Validation (0+0+2)
Oberseminar
winter semester 2019/2020
Introduction into Concurrency (4+2)
Software Testing (4+2)
Praktikum Software Validation (0+0+2)
Oberseminar
summer semester 2019
F o r s c h u n g s s e m e s t e r / S a b b a t i c a l
Praktikum Software Validation (0+0+2)
Oberseminar
winter semester 2018/2019
Introduction into Concurrency (4+2)
Software Testing (4+2)
Praktikum Software Validation (0+0+2)
Oberseminar
Sommersemester 2018
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Wintersemester 2017/2018
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Sommersemester 2017
Informatik 2 - Algorithmieren und Programmieren (4+2)
Modellierung und Analyse mit Petrinetzen (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Wintersemester 2016/2017
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Sommersemester 2016
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Wintersemester 2015/2016
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Sommersemester 2015
F o r s c h u n g s s e m e s t e r
Wintersemester 2014/2015
Einführung in die Nebenläufigkeit (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Sommersemester 2014
Modellierung und Analyse mit Petrinetzen (4+2)
Seminar "Advanced Data Structures" (0+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Wintersemester 2013/2014
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Sommersemester 2013
|Informatik 2 - Algorithmieren und Programmieren]] (4+2+2)
Modellierung und Analyse mit Petrinetzen (4+2)
Praktikum Software-Validation (0+0+2)
Seminar "Advanced Data Structures" (0+2)
Oberseminar
Wintersemester 2012/2013
Einführung in die Nebenläufigkeit (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Sommersemester 2012
Modellierung und Analyse mit Petrinetzen (4+2)
Seminar "Advanced Data Structures" (0+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Informatik für Ingenieure / Einführung in die Programmierung (2+2)
Wintersemester 2011/2012
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Sommersemester 2011
F o r s c h u n g s s e m e s t e r
Wintersemester 2010/2011
Einführung in die Nebenläufigkeit (4+2)
Seminar "Advanced Data Structures" (0+2)
Praktikum Software-Validation (0+0+2)
Oberseminar
Informatik für Ingenieure / Einführung in die Programmierung (2+2)
Sommersemester 2010
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Wintersemester 2009/2010
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation
Oberseminar
Sommersemester 2009
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Wintersemester 2008/2009
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation
Oberseminar
Informatik für Ingenieure / Einführung in die Programmierung (2+2)
Sommersemester 2008
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Wintersemester 2007/2008
Einführung in die Nebenläufigkeit (4+2)
Testen von Software (4+2)
Praktikum Software-Validation
Oberseminar
Sommersemester 2007
F o r s c h u n g s s e m e s t e r
Wintersemester 2006/2007
Modellierung und Analyse mit Petrinetzen (4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Oberseminar
Sommersemester 2006
Testen von Software (4+2)
Einführung in die Nebenläufigkeit (4+2)
Praktikum Software-Validation
Oberseminar
Wintersemester 2005/2006
Informatik 1 (4+2+2)
Modellierung und Analyse mit Petrinetzen (4+2)
Praktikum Software-Validation
Sommersemester 2005
Einführung in die Nebenläufigkeit(4+2)
Zuverlässige Software (4+2)
Praktikum Software-Validation
Proseminar "Computer Science Pioneers"
Wintersemester 2004/2005
Informatik 1 (4+2+2)
Zeitbewertete Netzmodelle (2+2)
Praktikum Software-Validation
Informatik für Ingenieure / Einführung in die Programmierung (2+2+2)
Sommersemester 2004
Testen von Software (4+2)
Modellierung und Analyse mit Petrinetzen (4+2)
Praktikum Software-Validation
Wintersemester 2003/2004
Einführung in die Nebenläufigkeit (4+2)
Zuverlässige Software (4+2)
Software-Validation, Praktikum "VALID"
Sommersemester 2003
F o r s c h u n g s s e m e s t e r
Wintersemester 2002/2003
Modellierung und Analyse mit Petrinetzen (4+2)
Algorithmieren und Programmieren (für Ingenieure (2+2+2)
Proseminar "Safeware"
Software-Validation, Praktikum "VALID"
WBM "Technische und praktische Informatik" 11/2002 - 10/2003
Sommersemester 2002
Informatik II (4+2)
Einführung in die Nebenläufigkeit (4+2)
Software-Validation, Praktikum "VALID"
WBM "Technische und praktische Informatik" 11/2001 - 10/2002
Wintersemester 2001/2002
Zuverlässige Software (4+2)
Testen von Software (2+2)
Software-Validation, Praktikum "VALID"
Seminar "Safeware - aktuelle Trends"
Vorsemester "Programmierkurs für Anfänger" , 03. - 07. September 2001
WBM "Technische und praktische Informatik" 11/2001 - 10/2002
Sommersemester 2001
Einführung in die Nebenläufigkeit
Modellierung und Analyse mit Petrinetzen
Praktikum "VALID"
Wintersemester 2000/2001
Informatik1
Informatik für Ingenieure
Proseminar "Safeware"
WBM "Technische und praktische Informatik" 11/2000 - 10/2001