Proseminar Informatik

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.