TU München – Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  |  Intranet  |

|    

LEHRSTUHLSEMINAR

Perlen der Informatik

Im Rahmen des Lehrstuhlseminars werden kurze Vorträge über verschiedene interessante Themengebiete aus der Informatik und anderen Disziplinen gehalten. Vorrangiges Ziel dieser Vorträge ist ein grober Überblick über die angegebenen Themen und erst in zweiter Linie die Präsentation spezialisierter Inhalte. Neuzugänge sind jederzeit willkommen.

Zusätzlich ist mit den Perlen eine Nachbesprechung in einer Kneipe in Schwabing verbunden. Alle die Lust haben – insbesondere auch alle ehemaligen Lehrstuhlmitarbeiter – sind eingeladen. Die Organisatoren und der Vortragende werden sicher dort anzutreffen sein.

Ort und Zeit

Nächster Vortrag

Programm für das Sommersemester 2008

Zusammenfassungen

Herrmannsdörfer: Road Trip durch den Südwesten der USA
Von Mitte März bis Anfang April habe ich zusammen mit meiner Freundin eine 3-wöchige Reise durch den Südwesten der USA angetreten. Unser über 4000 Meilen langer Weg hat uns durch die Bundesstaaten Kalifornien, Arizona, Utah und Nevada geführt - vorbei an wunderschönen Landschaften wie z.B. Grand Canyon, Monument Valley und Death Valley sowie bekannten Städten wie z.B. Las Vegas, San Francisco und Los Angeles. Allerdings hat unsere Reise auch zu nicht so bekannten Orten geführt, die aber nicht weniger beeindruckend waren. An unseren Eindrücken möchte ich euch im Rahmen dieser Perlen-Diashow teilhaben lassen.

Slåtten: Model Checking Service Specifications
One challenge with many traditional approaches to specify reactive systems is that service specifications are distributed among the components participating in each service. This makes it hard to change a service specification and still maintain a good overview of the consequences. The SPACE method, in contrast, enables the explicit specification of services in the form of collaborations from which systems are composed. Once development is complete, service specifications are transformed into component specifications that are in turn used as input to code generators to produce the deployable code. SPACE is supported by the Arctis tool suite. It provides an editor where UML collaborations and activities are used to specify service structure and behavior, respectively. Arctis provides syntactic inspectors, but previously did not have the capability to analyze the behavior of the service specifications. Two additions to the tool suite were realized through my project and master's thesis: the formulator and the analyzer. These are tools that together enable behavioral analysis of services or whole systems without requiring any formal methods knowledge from the user. The formulator automatically transforms the service-oriented model to temporal logic (TLA). The analyzer runs a model checker (TLC) and visualizes any error traces in terms of the UML model (as opposed to the temporal logic specification). Further, the analyzer attempts to not only detect symptoms, but set diagnoses and even provide automatic fixes, in some cases.

Spichkova: Computational Logic Mix
In diesem Vortrag werden einige Highlights der Lehre- und Forschungssthemen des "Computational Logic" Studiengangs (2000 - 2003) an der TU Dresden präsentiert:

• Fluent Calculus (eine Version von Situation Calculus) - ein Formalismus zur Beschreibung von dynamischen Systemen in FOL.und
• Attempto Controlled English (ACE) - eine Teilmenge von Englisch, die für die Erstellung formaler Spezifikationen dienen soll.

Archiv

Kontakt

© 1999–2006 Lehrstuhl Software & Systems Engineering
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2007-05-23 10:08:00