Im Rahmen des Praktikums sollen am Beispiel eines Zugangskontroll- und Abrechnungssystems für ein Internet-Cafe die auf den Chipkarten laufenden JavaCard-Applets und die Software für die Kartenleser entworfen, spezifiziert und implementiert werden.
Für die Praktikumsarbeit werden professionelle Werkzeuge verwendet: Die Anwendung soll mit Hilfe des CASE-Tools TogetherJ in der Unified Modeling Language (UML) spezifiziert werden. Für die Implementierung der Java Card-Applets steht das Entwicklungssystem der Firma Dallas Semiconductor zur Verfügung, das es auch erlaubt, die entwickelten Applets auf Java-iButtons zu übertragen und zu testen. Die entstehenden Applets sollen ggf. als Anwendungsbeispiele im KeY-Projekt Verwendung finden.
PostScript-Dokument mit einer genaueren Beschreibung des Szenariums und der Aufgabenstellung
Nächster Termin: Mittwoch, 08.11.00