Campus Event Calendar
Event Entry
New for: D1, D2
What and Who
Die UniForM Workbench: Eine Universelle Entwicklungsumgebung für Formale Methoden
Prof. Dr. Bernd Krieg-Brückner
Technologie-Zentrum Informatik der Universität Bremen
Informatik-Kolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 16 December 97
16:00
-- Not specified --
45 - FB14
HS 001
Saarbrücken
Abstract
Das Projekt UniForM ist ein BMBF Projekt der Universit"aten Bremen und
Oldenburg sowie der Firma Elpro LET, Berlin.
Oldenburg sowie der Firma Elpro LET, Berlin.
Die UniForM Workbench ist ein allgemeiner Rahmen, der mit konkreten
Werkzeugen f"ur Methoden instantiiert wird, die Realzeitbedingungen,
kommunizierende verteilte Systeme und speicherprogrammierbare
Steuerungen behandeln. Am Beispiel von CSP und Z wird gezeigt, wie
Methoden logisch repr"asentiert, in konsistenter Weise kombiniert und
Transformationswerkzeuge korrekt entwickelt werden k"onnen.
Im Vortrag wird ein "Uberblick gegeben und die Entwicklung durch
Transformation an einem kleinen Beispiel demonstriert.
Contact
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 04/12/2007 11:49 -- Created document.