TPML - Lernwerkzeug zu Semantik von Programmiersprachen

Aktuell

Wir suchen Studierende, die im Rahmen einer Projektgruppe das TPML in das am Lehrstuhl für Betriebssysteme und verteilte Systeme entwickelte Algorithmen-Visualisierungswerkzeug AlVis integrieren. Nähere Informationen entnehmen Sie bitte dem Flyer.

Einleitung

TPML wurde als interaktives Lernwerkzeug zur Vorlesung Semantik von Programmiersprachen entwickelt, das den Studierenden helfen soll, den Vorlesungs- und Übungsinhalt interaktiv zu erlernen, und damit eine solide Grundlage für das Verständnis der vermittelten Konzepte zu erwerben. Darüberhinaus soll es die Prüfungsvorbereitung erleichtern, da Studierende nun leicht selbst überprüfen können, ob sie ein bestimmtes Konzept verstanden haben, statt sich auf die in der Vorlesung und Übung besprochenen Beispiele als Referenz beschränken zu müssen.

Es sollte allerdings beachtet werden, dass das Programm in Kombination mit dem Benutzerhandbuch keinen Ersatz für den Besuch der Vorlesung und Übung darstellt, es ist lediglich ein zusätzliches Hilfsmittel.

Webstart

Über diesen Link kann das Programm per Java Web Start gestartet werden.

Handbuch

Nähere Informationen über TPML sind im Handbuch zu finden.

Download

Das Programm steht als ZIP- und TAR-Archiv zum Download bereit. Es ist keine Installation notwendig, einfach eines der Archive herunterladen, entpacken und tpml.exe (Microsoft Windows) bzw. tpml.sh (Unix/Linux) ausführen (unter OS X die Datei de.unisiegen.tpml.ui-2.1.1.jar im Finder doppelklicken).

tpml-2.1.1.zip (Microsoft Windows)
tpml-2.1.1.tar.bz2 (Unix/Linux/OS X)

Zum Starten wird eine JavaSE 5.0 Runtime Environment benötigt. Das Benutzerhandbuch enthält weitere Informationen zur Installation und beschreibt den Umgang mit dem Programm, sowie die implementierten Sprachen im Detail.

Das Programm steht unter der MIT Lizenz.

Git Repository

Das Git Repository finden Sie unter

https://github.com/cbsa-informatik-uni-siegen/tpml.

Mitwirkende

Die Version 1.0 von TPML wurde im Rahmen einer Projektgruppe der Fachgruppe Theoretische Informatik von

Marcell Fischbach, und
Benedikt Meurer

entwickelt, woraufhin die Version 1.2 wurde im Rahmen einer weiteren Projektgruppe von

Christoph Fehling

unter der Leitung von Privatdozent Dr. rer. nat. Kurt Sieber entwickelt wurde. Das Programm wurde anschliessend im Rahmen einer dritten Projektgruppe der Fachgruppe Programmiersprachen von

Christian Fehler,
Benjamin Mies, und
Michael Oeste

unter der Leitung von Privatdozent Dr. rer. nat. Kurt Sieber und Dipl.-Inform. Benedikt Meurer weiterentwickelt.