Derzeit in jExam eingepflegte Ergebnisse WS 11/12

•  INF-B-110-1 und INF-D-110-1 Einführung in die Mathematik 
•  INF-B-370-1 Datenbanken

Achtung - Modulnoten

(am besten direkt auf dem Blog lesen)

Mit der Einführung der modularisierten Studienordnungen wurden die Studiengänge nicht modularer, das waren sie schon vorher, sondern komplizierter. Dies betrifft vor allem den Studiengang Diplom '10. Wenn wir uns mal den § 26 der Prüfungsordnung anschauen, dann steht dort folgendes:

Die in § 27 Abs. 2, Ziffer 1, 3 und 4 aufgeführten Module sind fachliche Voraussetzungen für alle weiteren Modulprüfungen der Diplomprüfung mit Ausnahme der in § 27 Abs. 2 1, Ziffer 2, 5, 6, 10, 14 und 15 aufgeführten Module.


Das bedeutet, dass bspw. das Modul "Einführung in die Mathematik für Informatiker D-110" Voraussetzung für viele andere Prüfungen ist. Gleichzeitig heißt das aber auch, dass bei der Überprüfung, ob sich ein Student in eine Prüfung einschreiben darf, die Gesamt-Modulnote bekannt sein muss. Das ist bei einigen einfach, da die Prüfungsnote der Modulnote entspricht. Beim Modul D-110 müssen einige Noten zusammengerechnet werden.


Genau diese Modulnotenberechnung wird jetzt bei jExam durchgeführt. Dies betrifft vorerst nur die Diplom '10 Studenten, wird aber bald ausgeweitet auf die BA '09 (d.h. die Bachelors sind derzeit nicht berechnet).

Was ist bei der Modulberechnung zu beachten:

• Es wird eine Modulnote berechnet, wenn ein Modulteil angetreten wurde.
• Ein Modul ist zumeist (Ausnahme ist hier bspw. Mathe) bestanden, wenn das arithmetische Mittel der Teilnoten <= 4 ist. Dabei wird eine nicht angetretene Prüfung zunächst mit 5 gewertet, d.h. wenn Datenbanken mit 3,0 bestanden wurde und Rechnernetze noch nicht angetreten wurde, das Modul mit 4,0 gewertet wird und als bestanden gilt.
• Eine Modulnote ist temporär. Das bedeutet, wenn Rechnernetze im späteren Semester mit 2,0 abgelegt wird, die Modulnote neu berechnet wird und dann 2,5 beträgt. Sie sollten also immer jede Teilprüfung antreten, auch wenn ein Modul bereits bestanden ist. 
• Die Modulnoten werden neu berechnet, wenn neue Ergebnisse eingetragen werden.
• Haben sie keine Panik, wenn nun ein noch nicht fertiges Modul mit 5,0 bewertet wird. Durch neue Ergebnisse wird sich dieses ändern.

Die Modulnoten haben Auswirkungen auf die Ergebnisanzeige. Diese werden für die '09 und '10-Studiengänge als Baum dargestellt, wobei der Modul-Root nun zumeist ein Ergebnis besitzt. Schauen sie einfach mal.

BugFix "Too Many Connections"

Bugfix für die falsche Auswertung des CacheConnectionPools. (Anfängerfehler)

Beta der neuen Ergebnisanzeige

Aufgrund der größeren Unterschiede zwischen den Prüfungsordnungen <=2004 und den BA/MA/DIPL Prüfungsordnungen >=2009 haben wir eine neue Darstellung der Ergebnisse für letztgenannte POs eingeführt. Sie ist noch nicht vollständig fertig, vor allem was das Design angeht, zeigt aber die Richtung.

OS-Updates

Heute größere OS-Update-Runde. Downtime von 16:00 bis 17:00.

Diplomthema zu vergeben

Thema: Verifikation der Lebendigkeit von Rekonfigurationen in Qualitäts-behafteten,  Selbst-optimierenden Systemen

Zielstellung:

Im Rahmen des SFB 912 und der ESF-geförderten Nachwuchsforschergruppe ZESSY wird ein selbst-adaptives System entwickelt, welches sein Verhalten hinsichtlich nicht-funktionaler Eigenschaften (Qualitäten) selbstständig optimiert. Hierzu wurde eine Komponenten-basierte Softwarearchitektur entwickelt, die die Beschreibung von Software- und Hardware-Komponenten und deren Abhängigkeiten untereinander erlaubt. Die Abhängigkeiten werden über Verträge zwischen den Komponenten beschrieben, in denen Spielräume zur Verhandlung von Qualitäten definiert werden. Den Benutzern eines solchen Systems wird es somit ermöglicht, Erwartungen an die Ausführung der Funktionalität des Systems zu stellen (zum Beispiel eine minimale Bildrate  bei der Wiedergabe eines Videos). Mit Hilfe von Optimierungstechniken kann für eine solche Anfrage eine optimale Systemkonfiguration, bestehend aus der Auswahl geeigneter Implementierungen von Softwarekomponenten und deren Mapping auf die verfügbaren Ressourcen, gefunden werden. Um von der aktuellen Systemkonfiguration zur optimalen Konfiguration zu gelangen werden Rekonfigurationsskripte, welche eine Folge von Rekonfigurationsoperationen (deploy, undeploy, migrate, replace, etc.) beschreiben, abgeleitet.

Ziel der Diplomarbeit ist die Anwendung von Verifikationstechniken aus dem Bereich des Model Checking um Rekonfigurationsskripte auf deren Lebendigkeit zu untersuchen. Hierzu soll Vereofy und dessen Koordinationssprache Reo verwendet werden. Wenn ein Skript das System zeitweise in einen inkonsistenten Zustand überführen kann, soll dies erkannt und aufgezeigt werden.

Im Detail sind folgende Teilaufgaben zu bearbeiten:

• Einarbeitung in die Softwarearchitektur für selbst-optimierende Systeme (CCM/QCL)
• Einarbeitung in Vereofy, insbesondere die Koordinationssprache Reo
• Implementierung der Übersetzung von CCM/QCL-Modellen und der Rekonfigurationsskripte in Reo
• Formulierung der Lifeness-Anforderung
• Integration in die qBench IDE (Eclipse)

Die Arbeit wird vom Lehrstuhl für Softwaretechnologie und dem Lehrstuhl für algebraische und logische Grundlagen der Informatik co-betreut.

Hauptseminar Pioniere des Software Engineering

Im Wintersemester 2011/12 bietet der Lehrstuhl für Softwaretechnologie ein Hauptseminar zum Thema "Pioniere des Software Engineering" an. Weitere Informationen sind hier zu finden. Die Einschreibung ist ab sofort über jExam möglich.