This is an archived page and is no longer updated.
Special Course Offerings in Summer Semester 2014 / Sonderveranstaltungen im Sommersemester 2014
In keeping with the "internationalisation" of our Courses of Study, to make them attractive for students from
other countries, the course offerings of the RVS group are conducted in English if the participants wish it.
We have found also that many students of informatics whose native language is German also wish to improve their
English and request that courses be conducted in English. The course desciptions here are in both German and
English.
Lehrveranstaltungen/Courses Offered
392252 Human factors in sociotechnical systems (BS) (SS 2014)
392258 Security & Privacy in E/E/PE Systems II (S) (SS 2014)
392161 Formale Methoden in Software-Engineering II: Avoiding Software Disasters (S) (SS 2014)
392162 Themes in Applied Logic II (S) (SS 2014)
392258 Human factors in sociotechnical systems (Blockseminar) (SS 2014)
Beleg-Nr.: 392252
Zeit und Raum/Time and Place: First Meeting / Erstes Treffen: 01.04.2014, 10:00h, C0-259
Further dates will be agreed during the first meeting / Weitere Treffen werden auf dem ersten Treffen besprochen.
Kursinhalte / Contents
- Menschliche Faktoren und neue Technologien
- Modelle menschlicher Informationsverarbeitung
- Komplexe Systeme und Mentale Modelle
- Komplexe vs. Lineare Systeme; Enge vs lose Kopplung
- Menschliche Leistungen und unsichere Handlungen
- Prinzipien der Beurteilung menschlicher Zuverlässigkeit
- Überblick g&aauml;ngiger Analysemethoden
- Design-Prinzipien Mensch-Maschine Interaktion
- Usability
- Anforderungsanalyse
- Funktionsallokation
- Computer-Supported Collaborative Work
Hier findet sich eine
ausführlichere Beschreibung der geplanten Inhalte.
392258 Security & Privacy in E/E/PE Systems II (S) (SS 2014)
Beleg-Nr.: 392258
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-259
Kursinhalte / Contents
This seminar will discuss the problems and issues that arise from the
deployment and operation of electronic infrastructure, such as computer
networks, the so-called "Smart Grid" and others. Themes will include
implications for privacy and ways to secure such systems so that they
can be trusted with confidential and personal information.
In diesem Seminar werden Probleme diskutiert, die sich aus der Nutzung von elektronischer
Infrastruktur ergeben, wie beispielsweise Computernetze aber auch das sogenannte "Smart Grid".
Themen werden den Einfluss auf die Privatsphäre beinhalten sowie die MMöglichkeiten,
solche Systeme abzusichern, so dass ihnen vertrauliche und persönliche Daten
anvertraut werden k&uoml;nnen.
392161 Formale Methoden in Software-Engineering II: Avoiding Software Disasters (S) (SS 2014)
Beleg-Nr.: 392161
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-288
Kursinhalte / Contents
One of us came upon
this seminar and
thought it was a good idea to do something similar. Thanks a lot to our colleague Tobias Nipkow.
Wir sind auf dieses Seminar gestoßen
und halten eine ähnliche Veranstaltung hier für eine gute Idee. Vielen Dank an den Kollegen
Tobias Nipkow.
392162 Themes in Applied Logic II (S) (SS 2014)
Beleg-Nr.: 392162
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-288
Kursinhalte / Contents
Wir können unterschiedliche angewandte formale Sonderlogiken studieren,
z.B., Paraconsistent Logic, Free Logic, Counterfactual Logic, BDI Logic,
BAN Logic. Wir haben in der Gruppe auch SW zur Verfügung, die erlaubte,
textuale Argumente auseinander zu nehmen und in ein Argumenten-Datenbank
zu speichern. Die SW werden wir gerne anwenden und weiter entwickeln
und die Möglichkeit besteht, dies innerhalb dieses Seminars zu
tun. Entschieden wird bei einer Diskussion am ersten Treffen.
We can study various specialist applied formal logics, such as
Paraconsistent Logic, Free Logic, Counterfactual Logic, BDI Logic, BAN
Logic. We have also written some software with which textual Arguments
can be analysed and stored in an Argument Database. We would like
to develop this SW further, and there is the possibility to do it in
this seminar. The decision as to seminar content will be taken through
discussion at the first meeting.