Die Vorlesungen sollen aktuelle Techniken des Software- Engineering praxisnah erlaeutern und die ihnen zugrundeliegenden Theorien darstellen. Den Studenten soll so laut DST die Erkenntnis vermittelt werden, dass theoretische Fragen, die auf den ersten Blick zu akademisch erscheinen, von grosser Bedeutung fuer die Praxis sein koennen.

Das Kieler Unternehmen nutzt nach eigenen Angaben das wissenschaftliche Potential der Hochschulen zur Loesung wichtiger Detailfragen, die im Industrieprojekts-Alltag nicht geloest werden koennen. DST vergibt dazu auch Diplomarbeiten.

Darueber hinaus arbeiten DST und Hochschulen gemeinsam an Publikationen ueber die praktische Anwendung formaler Methoden. Zur Zeit entstehe eine Arbeit ueber die "Simulation von CASE- Spezifikationen fuer sicherheitsrelevante Anwendungen".

Die DST erwartet eigenen Angaben zufolge die Akkreditierung als Prueflabor des Bundesamtes fuer Sicherheit in der Informationstechnik (BSI) in Bonn.

Informationen: DST Deutsche Systemtechnik GmbH, Dr. Jan Peleska, Edisonstrasse 3, 2300 Kiel 14, Telefon 04 31/710 91.