Homepage der Vorlesung

Homepage der Vorlesung

Homepage der Vorlesung

Seite zum Proseminar

Seite zur Vorlesung

Seite zur Vorlesung

Seite zum Seminar

Seite zum Seminar

Seite zur BPEL-Taskforce

Homepage der Vorlesung

Homepage der Vorlesung

Homepage der Vorlesung

Homepage der Vorlesung

Um die Korrektheit eines großen Softwaresystems nachzuweisen, muss zunächst ein Modell davon entwickelt werden: seine Spezifikation.

Im Seminar werden verschiedene, auf temporaler Logik basierende Spezifikationsmethoden vorgestellt. Weiterhin werden typische temporale Eigenschaften von Systemen (Sicherheit, Lebendigkeit, Fairness) und ihr Nachweis betrachtet.

Homepage des Seminars

• Zuweisungsbasierte Algorithmen, formuliert in Java

• Logik-Programme, formuliert in Prolog
  Funktionale Programme, formuliert in Haskel

• Modellbasierten Systementwurf, formuliert in UML 2.

Homepage der Vorlesung

Homepage des Proseminars

Homepage der Vorlesung

"Beauty Is Our Business" heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Homepage des Proseminars

Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden (ASM, CCS, CSP, LARCH, MSC, Petrinetze, Pi-Kalkül, Prozessalgebren, SDL, Statecharts, TLA, VDM, Z und Analysetechniken (Invarianten, Model Checking, Refinement Calculus) werden in der industriellen Praxis verwendet.

Homepage der Vorlesung

Schlagworte wie Business Process Reengineering, E-Commerce und Workflow Management sind zur Zeit in aller Munde. Um die Geschäftsprozesse eines Unternehmens analysieren, optimieren bzw. automatisieren zu können, müssen diese angemessen beschrieben werden. Im Rahmen dieser Vorlesung sollen verschiedene Methoden zur Abbildung realer Prozesse in verwertbare Modelle besprochen werden.
Einen besonderen Schwerpunkt bilden dabei verteilte Geschäftsprozesse auf der Basis von Web Services.

Homepage der Vorlesung

Um die Korrektheit eines Softwaresystems nachzuweisen, muss zunächst ein Modell davon entworfen werden - die Spezifikation. Verschiedene Spezifikationsarten (temporale Logik, basierend auf sequentiellen oder verteilten Abläufen), die zur Beschreibung insbesondere verteilter Systeme dienen, werden im Seminar ansatzweise behandelt. Weiterhin werden typische Eigenschaften eines Systems (Sicherheit, Lebendigkeit, Fairness) betrachtet, die nachzuweisen sind, um die Korrektheit zu zeigen.

Homepage des Seminars

Gute Methoden zum Entwurf und zur Verifikation von Systemen sind ein Schlüssel für gute Software. Dieses Seminar betrachtet moderne Entwurfsmethoden, insbesondere "Abstract State Machines".

Homepage des Seminars

"Beauty Is Our Business" heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Homepage des Proseminars

Verteilte Algorithmen sind notwendig, um verteilte Systeme sachgerecht zu nutzen. Besonders wichtig sind Algorithmen für Prozessornetzwerke. In der Vorlesung werden wichtige verteilte Algorithmen vorgestellt und analysiert.

Homepage der Vorlesung

Electronic Commerce ist immernoch ein aktuelles Thema. Nachdem der groesste Hype vorueber ist, konzentrieren sich die Entwicklungen auf verlaessliche und gleichzeitig handhabbare Technologien. Dieses Seminar beleuchtet ausgewaehlte technische Aspekte des Electronic Commerce, darunter Verschluesselungs-
verfahren, Transaktionskonzepte und mobile Agenten.

Homepage des Seminars

Softwaresysteme werden meist aus einzelnen Komponenten zusammengesetzt, weil dies erhebliche Vorteile verschafft (in der Entwicklungsphase, Analyse usw.). Um die Korrektheit eines solchen Systems nachzuweisen, muss zunaechst ein Modell davon entworfen werden - die Spezifikation. Im Seminar werden verschiedene Spezifikationsarten (basierend auf sequentiellen oder verteilten Ablaeufen, temporale Logik) behandelt, insbesondere kompositionelle Spezifikationstechniken, die zur Beschreibung komponentenbasierter verteilter Systeme dienen. Weiterhin werden verschiedene Kompositions- und Verfeinerungsarten betrachtet.

Homepage des Seminars

Gute Methoden zum Entwurf und zur Verifikation von Systemen sind ein Schluessel fuer gute Software. Dieses Seminar betrachtet moderne Entwurfsmethoden, insbesondere "Abstract State Machines".

Homepage des Seminars

"Beauty Is Our Business" heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Homepage des Proseminars

Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden (ASM, CCS, CSP, LARCH, MSC, Petrinetze, Pi-Kalkül, Prozessalgebren, SDL, Statecharts, TLA, VDM, Z und Analysetechniken (Invarianten, Model Checking, Refinement Calculus ) werden in der industriellen Praxis verwendet.

Homepage der Vorlesung

Schlagworte wie Business Process Reengineering, E-Commerce und Workflow Management sind zur Zeit in aller Munde. Um die Geschäftsprozesse eines Unternehmens analysieren, optimieren bzw. automatisieren zu können, müssen diese angemessen beschrieben werden. Im Rahmen dieser Vorlesung sollen verschiedene Methoden zur Abbildung realer Prozesse in verwertbare Modelle besprochen werden.

Homepage der Vorlesung

Um die Korrektheit eines Softwaresystems nachzuweisen, muss zunächst ein Modell davon entworfen werden - die Spezifikation. Verschiedene Spezifikationsarten (temporale Logik, basierend auf sequentiellen oder verteilten Abläufen), die zur Beschreibung insbesondere verteilter Systeme dienen, werden im Seminar ansatzweise behandelt. Weiterhin werden typische Eigenschaften eines Systems (Sicherheit, Lebendigkeit, Fairness) betrachtet, die nachzuweisen sind, um die Korrektheit zu zeigen.

Homepage des Seminars

Verteilte Algorithmen sind notwendig, um verteilte Systeme sachgerecht zu nutzen. Besonders wichtig sind Algorithmen für beliebige Prozessornetzwerke. Im Seminar werden wichtige verteilte Algorithmen behandelt.

Homepage des Seminars

"Beauty Is Our Business" heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Verteilte Algorithmen sind notwendig, um verteilte Systeme sachgerecht zu nutzen. Besonders wichtig sind Algorithmen für Prozessornetzwerke. In der Vorlesung werden wichtige verteilte Algorithmen vorgestellt und analysiert.

Um die Korrektheit eines Softwaresystems nachzuweisen, muss zunächst ein Modell davon entworfen werden - die Spezifikation. Verschiedene Spezifikationsarten (zustandsbasiert, operational usw.), die zur Beschreibung insbesondere verteilter Systeme dienen, werden im Seminar ansatzweise behandelt. Weiterhin werden typische Eigenschaften eines Systems (Sicherheit, Lebendigkeit, Fairness) betrachtet, die nachzuweisen sind, um die Korrektheit zu zeigen.

... heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt.

Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden (ASM, CCS, CSP, FOCUS, LARCH, MSC, Petrinetze, Pi-Kalkül, Prozessalgebren, SDL, Statecharts, TLA, Z) und Analysetechniken (Invarianten, Model Checking, Refinement Calculus ) werden industriell verwendet.

Um die Korrektheit eines Softwaresystems nachzuweisen, muss zunächst ein Modell davon entworfen werden - die Spezifikation. Verschiedene Spezifikationsarten (zustandsbasiert, operational usw.), die zur Beschreibung insbesondere verteilter Systeme dienen, werden im Seminar ansatzweise behandelt. Weiterhin werden typische Eigenschaften eines Systems (Sicherheit, Lebendigkeit, Fairness) betrachtet, die nachzuweisen sind, um die Korrektheit zu zeigen.

Ein Programm zu schreiben ist Handwerk. Ein Programm intuitiv verständlich, formal korrekt und elgegant zu schreiben - das ist Kunst. Dieses Proseminar will unabhängig von Hardware und Compilern Prinzipien darlegen, Algorithmen, Beweise und Erläuterungen verständlich, abstrahierend und zugleich präzise zu formulieren - eine wichtige Voraussetzung für Teamarbeit.

Ein Algorithmus ist verteilt, wenn er auf einer physikalisch oder logisch verteilten Architektur arbeitet. Rechnernetze und Prozessorencluster sind dafür typische Beispiele. In der Praxis nimmt die Bedeutung verteilter Algorithmen schnell zu. Verteilte Algorithmen haben keine globale Kontrollstrukturen. Sie können daher nicht mit herkömmlichen Mitteln formuliert und verifiziert werden. Die VL präsentiert und verifiziert die wichtigsten verteilten Algorithmen und diskutiert eine Reihe von Darstellungs- und Verifikationstechniken.

LaTeX ist ein mächtiges Schriftsatzsystem, das praktisch für jedes Computersystem frei zur Verfügung steht. Aufgrund der hohen Qualität seines Schriftsatzes ist es insbesondere im mathematischen und naturwissenschaftlichen Umfeld verbreitet. Das Proseminar bietet einen guten Einstieg, um eigene wissenschaftliche Arbeiten (z.B. Studien- und Diplomarbeit) in hoher Qualität anzufertigen. Vorkenntnisse sind nicht erforderlich.

Schlagworte wie Business Process Reengineering, E-Commerce und Workflow Management sind zur Zeit in aller Munde. Um die Geschäftsprozesse eines Unternehmens analysieren, optimieren bzw. automatisieren zu können, müssen diese angemessen beschrieben werden. Im Rahmen dieser Vorlesung sollen verschiedene Methoden zur Abbildung realer Prozesse in verwertbare Modelle besprochen werden.

Erweiterung der algorithmischen Prinzipien der Vorlesung Praktische Informatik I, Konzepte der logikbasierten Programmierung am Beispiel von PROLOG, Spezifikationssprachen und Entwurfsmethodik, parallele und verteilte Algorithmen.

Eine eindeutige, leicht zu verstehende und übersichtliche Problembeschreibung ist Voraussetzung für die Herstellung guter Software. Die Sprache UML, Unified Modelling Language, bietet eine einheiliche Notationsform für die Dokumente, die zur Problembeschreibung hilfreich sind. Das Seminar will an Hand von Beispielen die vielfältigen Möglichkeiten dieser Sprache bekanntmachen und zeigen, wie gut diese Sprache den Prozeß der Softwareherstellung unterstützt.

Ein Programm zu schreiben ist Handwerk. Ein Programm intuitiv verständlich, formal korrekt und elgegant zu schreiben - das ist Kunst. Dieses Proseminar will unabhängig von Hardware und Compilern Prinzipien darlegen, Algorithmen, Beweise und Erläuterungen verständlich, abstrahierend und zugleich präzise zu formulieren - eine wichtige Voraussetzung für Teamarbeit.

Ein Algorithmus heißt verteilt, wenn er auf einer physikalisch oder logisch verteilten Architektur arbeitet. Solche Algorithmen werden praktisch zunehmend wichtiger. In der Vorlesung wird eine Reihe solcher Algorithmen vorgestellt und ihre Korrektheit bewiesen.

Zur Rechentechnik auf elektronischer Basis gibt es derzeit keine realistische Alternative. Dennoch werden in der Wissnschaft auch andere Prinzipien diskutiert, insbesondere das Rechnen mit optischen Schaltungen, biologischem Material und subatomaren Strukturen (optisches computing, DNA-computing, Quanten computing). Die VL stellt algorithmische Konzepte vor, um solche Strukturen sinngerecht zu nutzen.

Im Zentrum dieser Vorlesung stehen die Begriffe NP-Vollständigkeit und die Effizienz von Algorithmen und Datenstrukturen. Es werden erste algorithmische Prinzipien zur approximativen oder randomisierten "Lösung" NP-vollständiger Probleme vorgestellt.

Die Entwicklung betrieblicher Informationssysteme ist eine komplexe Aufgabe, weil dabei eine Vielzahl von Abläufen, Geschäftsprozessen und Geschäftsregeln eines Unternehmens zu beachten sind. Im Proseminar geht es sowohl um die Modellierung, als auch um Tecniken und Werkzeuge zur Implementierung betrieblicher Informationssysteme. Sie lernen die wichtigsten Herausforderungen und noch zu lösenden Probleme dieses Gebietes kennen.

Aufsehenerregende Experimente haben in den letzten Jahren die prinzipielle Möglichkeit nachgewiesen, Algorithmen in biologischem Material zu kodieren und auszuführen. Operationen auf DNA-Molekülen können sinngerecht als Rechenschritte interpretiert werden. Die Vorlesung schildert den Stand der Technik aus der Sicht der Informatik. Biologische und chemische Vorkenntnisse sind nicht erforderlich.

Die Modellierung sowie die technische Unterstützung betrieblicher Abläufe (Workflows) sind überaus aktuelle Probleme der Softwareentwicklung. Im Seminar lernen wir verschiedene Beschreibungstechniken für Workflows kennen. Darüberhinaus vergleichen wir die Fähigkeiten derzeit verfügbarer Werkzeuge und diskutieren neue Entwicklungen.

In dieser VL wird eine Einführung in verschiedene Bereiche der theoretischen Informatik gegeben: Formale Sprachen, Automatenmodelle, Berechenbarkeit, Algorithmen.

Eine eindeutige, leicht zu verstehende und übersichtliche Problembeschreibung ist Voraussetzung für die Herstellung guter Software. Die Sprache UML, Unified Modelling Language, bietet eine einheiliche Notationsform für viele Einsatzgebiete. Das Seminar will an Hand von Beispielen die vielfältigen Einsatzmöglichkeiten dieser Sprache bekanntmachen.

Verteilte Algorithmen sind notwendig, um verteilte Systeme sachgerecht zu nutzen. Besonders wichtig sind diese Algorithmen für beliebige Prozessornetzwerke. Im Seminar werden wichtige verteilte Algorithmen behandelt.