🚀 go-pugleaf

From: "Konrad Petratschek (FAW Ulm)" <unido!DULFAW1A.bitnet!KONRAD>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 26 Apr 90 16:52:38 MEZ
Subject: Einladung zum FAW-Kolloquium am 14. Mai 1990 - 14:00 Uhr
Keywords: Vortraege

mod-ki message 0448
************************************************************************
                 Einladung zum Kolloquium                       FAW  Ulm

Name:            Prof. Dr. Peter Pepper
                 Technische Universitaet Berlin, FB 20 / Informatik
                 Institut fuer angewandte Informatik
 
Thema:           Formale Ansaetze zur Programmentwicklung
 
Kurzfassung:
Die gegenwaertige Praxis bei der Erstellung von  "high-quality software"
ist  vor  allem  gepraegt  durch  eine  Mischung  aus  organisatorischen
Massnahmen und Appellen an die Selbstdisziplin der Entwickler. In weiten
Bereichen ist unser Wissen ueber Konzepte  von  Programmiersprachen  und
Methoden der Programmierung heute aber schon so  weit  ausgereift,  dass
wir wohlfundierte mathematische Methoden einsetzen koennen.

In dem Vortrag konzentrieren wir uns auf einen "deduktiven Ansatz",  bei
dem Programme durch schrittweise Anwendung von Transformationsregeln aus
ihrer Spezifikation abgeleitet werden.  Damit  wird  "Programmieren"  zu
"Rechnen in einem formalen Kalkuel".

Kurz angesprochen werden auch die mit diesem  Ansatz  zusammenhaengenden
Fragen: Erstellung einer geeigneten Ausgangsspezifikation;  Organisation
des Entwicklungsprozesses; Systemunterstuetzung;  geeignete Zielsprachen
fuer    den    Entwicklungsprozess    und    die     Integration     von
Transformationskonzepten und Compilierung.

Termin:          Montag, 14. Mai 1990 - 14:00 Uhr
                 --------------------------------
Ort:             Hoersaal des FAW, Helmholtzstrasse 16, 7900 Ulm

Kolloquiumstee:  Cafeteria des FAW, 1. UG ab 13:30 Uhr
 
Organisation des Kolloquiums:
Dr. Dimitris Karagiannis, FAW Ulm, Telefon 0731 / 501 - 540
************************************************************************