Home

Zeitplan

Themen

Seminar "Visuelle Spezifikationssprachen und ihre Anwendung in eHome-Systemen"

Dozent

Prof. Dr.-Ing. M. Nagl

+49/241/80-21301

nagl@i3.informatik.rwth-aachen.de

Betreuende Assistenten

Dipl.-Inform. Ibrahim Armac	Dipl.-Inf. Ulrike Ranger
+49/241/80-21317	+49/241/80-21322
armac@i3.informatik.rwth-aachen.de	ranger@i3.informatik.rwth-aachen.de

Überblick

In diesem Seminar werden v. A. visuelle Spezifikationssprachen behandelt, die die Spezifikation von Softwaresystemen erlauben und dabei funktionale und nicht-funktionale Eigenschaften berücksichtigen. Mit Hilfe von visuellen Sprachen kann sich der Spezifizierer auf die Anwendungslogik konzentrieren und von Implementierungsdetails abstrahieren. Dadurch vereinfacht sich der Entwicklungsprozess und die Kommunikation sowohl mit anderen Entwicklern als auch den Kunden, da visuelle Spezifkationen intuitiver sind als Programme basierend auf textuellen Programmiersprachen.

Jeder Seminarteilnehmer erhält eine Spezifikationssprache als Thema. Diese soll er anhand eines vorgegebenen Artikels und weiterer selbstermittelter Literatur untersuchen.
Für viele Sprachen existieren auch geeignete Entwicklungsumgebungen, mit denen Anwendungen mit den Sprachen spezifiziert werden können.

Ein Anwendungsgebiet von visuellen Spezifikationssprachen liegt im Bereich der eHome-Systeme. eHome-Systeme stellen bestimmte Anforderungen an die Sprachen, wie zum Beispiel die Spezifikation von verteilten Systemen. Diese Anforderungen sollen in der Analyse der Sprachen mit einbezogen werden.

Voraussetzungen

Das Seminar "Visuelle Spezifikationssprachen und ihre Anwendung in eHome-Systemen" wird als praktisches Seminar für das Hauptstudium im Wintersemester 2005/2006 angeboten. Zulassungsvoraussetzung ist das abgeschlossene Vordiplom. Kenntnisse der Vorlesungen "Einführung in die Softwaretechnik" (Prof. Nagl), "Specification of Software Systems" (Prof. Westfechtel) und "Modellierung von Software-Architekturen" (Prof. Nagl) sind hilfreich.

Vorbesprechung

Die Vorbesprechung findet am Donnerstag, den 04.08.2005 um 10 Uhr im Seminarraum des i3 statt. Anwesendheit ist Pflicht. Der Seminarraum befindet sich im E1, 3. Stock, Raumnummer 4312.

Vorlagen

Vorlagen für die Ausarbeitung und die Präsentation können ab dem Wintersemester vom BSCW-Server heruntergeladen werden.

Termine

Das Seminar findet als Blockseminar am 22. und 23.03.2006 im Seminarraum des I3 statt.