Proseminar Informatik

Summary

Term
Winter 2020
ECTS
3 (also see course catalog)
Level
Bachelor
Instructors
Michael Rohs
Seminar Time
Tuesday, 14:00–15:30
Seminar Room
Online bzw. HG F435

Course Description

Das Proseminar beginnt mit einer Einführung in das wissenschaftliche Arbeiten und in Präsentationstechnik. Inhaltlich sollen Konzepte von Programmiersprachen aus der Perspektive der Mensch-Computer-Interaktion betrachtet werden. Programmiersprachen sind kognitive Werkzeuge, mit denen Informatiker Problemstellungen lösen. Die Ausgestaltung programmiersprachlicher Konzepte hat einen wesentlichen Einfluss darauf, wie gut sich Lösungen entwickeln und formulieren lassen. In diesem Semester werden Sprachen betrachtet, die ein besonderes Augenmerk auf die Vermeidung von Programmierfehlern, Klarheit und Zuverlässigkeit legen. Wir werden untersuchen, welche Sprachmechanismen eingesetzt werden, um diese Ziele zu erreichen. Die betrachteten Sprachen sind Ada (starke Typisierung, Prüfungen zur Programmlaufzeit, Ausnahmebehandlung) und Eiffel (Objektorientierung, Generizität, Design by Contract, Void-Safety). Die Sprachen und Sprachmechanismen werden an Hand des Cognitive Dimensions Frameworks untersucht. Ein Ziel des Proseminars besteht darin, unterschiedliche Ansätze beurteilen und einsetzen zu können und ggf. die eigenen Programmierfähigkeiten zu verbessern. Die einzelnen Themen werden beim Einführungstreffen vorgestellt. Die Teilnehmenden erarbeiten jeweils ein Einzelthema und stellen es im Plenum vor. In der Seminarausarbeitung sollen das Thema und die Hauptaspekte der Diskussion zusammengefasst werden. Die Zahl der Teilnehmenden ist aus Kapazitätsgründen beschränkt.

Course Objectives

  • Vertiefte Kenntnis eines Themas der Mensch-Computer-Interaktion auf dem Niveau des 5. Bachelorsemesters
  • Methodenkenntnisse in der Recherche, mündlichen Präsentation und schriftlichen Ausarbeitung eines Themas
  • Erfahrung in der Diskussion von wissenschaftlichen Fragestellungen
  • Inhaltlich: Vermeidung von Programmierfehlern in Programmiersprachen

Materials

Slides, assignments, and other materials are available via Stud.IP