Frontend und Dialog

Weiterentwicklung von Frontend und Dialog
Die Mächtigkeit der zugrundliegenden CTP-Technologie eröffnet neue Interaktions-Möglichkeiten. Diese zu erkennen und zu nutzen bietet weite Spielräume for Kreativität und neue Ideen.

Zum Beispiel: Wie wäre Benutzerführung zu gestalten, sodass die beiden Buttons  (stellt den nächsten Schritt in die Rechnung) und  (stellt die Rechnung fertig bis zum Endergebnis) versschwinden könnten ? Wenn die beiden Buttons weg sind, könnte man das System für Prüfungen verwenden ? Etc.

Der Einstieg in die Arbeit wird, der offenen Fragestellung entsprechend, über gemeinsames Brainstorming und über koordinierte Internet- und Literatur-Recherche erfolgen. Die Offenheit der Aufgabenstellung bietet eine Fülle von Projektarbeiten mit unterschiedlicher Gewichtung zwischen Design, Technologiestudium, Implementation, Dokumentation und Management – jede und jeder kann seine eigene Aufgabenstellung ausloten und definieren.

Einarbeiten in Entwicklungswerkzeuge und Technologien erfolgt je nach Aufgabenstellung in einem oder mehreren der folgenden Produkte:
 * 1) Java mit JavaSwing, RMI, etc
 * 2) NetBeans als integrierte Entwicklungsumgebung
 * 3) Mercurial als 'distributed revision control tool' mit einer Reihe von Vorteilen über CVS, Subversion, etc
 * 4) Die aufstrebende Programmsprache Scala (inklusive Actor-Library) als Software-Layer für asyncrone Kommunikation zwischen Frontend und CTP
 * 5) jEdit + Plugin-Technologie für das kommende Frontend für den CTP Isabelle