Informatisches Kolloquium Ehrig: Spezifikationstechniken
|
Informatisches Colloquium Montag, 2. November 1998, 17 Uhr c.t. Konrad-Zuse-Hörsaal |
Referent
|
Prof. Dr. Hartmut Ehrig Technische Universität, Berlin |
Thema
|
Relevanz, Integration und Vergleich formaler Spezifikationstechniken |
Zusammenfassung
|
Ausgehend von der Relevanz formaler Methoden für modulare Softwaresysteme, kommunikationsbasierte und eingebettete Systeme wird ein kurzer Überblick über verschiedene formale und semi-formale Methoden in der Informatik gegeben. Die gegenseitige Beeinflussung von Methoden der Ingenieurwissenschaften und der Informatik wird demonstriert am Beispiel des DFG-Schwerpunktprogramms "Integration von Techniken der Softwarespezifikation für Ingenieurwissenschaftliche Anwendungen". Ausgehend von verschiedenen Sichten werden sechs verschiedene Integrationen von Spezifikationstechniken diskutiert und im Hinblick auf verschiedene anwendungsorientierte und technische Aspekte verglichen. Neben UML als semi-formaler Methode sind dabei High-Level Petrinetze als formale Spezifikationstechnik von besonderer Bedeutung. |
Kontakt
|
Prof. Dr. R. Valk Telefon 040 - 5494 2408 |
Koordination
|
Prof. Dr. W. v. Hahn (vhahn"AT"informatik.uni-hamburg.de) |