2nd German ENCRESS Workshop

28. März 1995
GRS, Schwertnergasse 1, Köln

Programm

F. Saglietti
Institut für Sicherheitstechnologie (ISTec) GmbH, Garching bei München
Begrüßung und Einführung

L. Oliefka
Deutsche Luft- und Raumfahrt (DLR), Köln
"ESSI Application Experiment ATECON:
Application of an Integrated, Modular, Metric Based System and Software Test Concept"

R. Helfrich
Ingenieurgesellschaft für Software Engineering (GSE), München
"ESSI Application Experiment SERAD:
Software Error Administration Using the GNATS System"

B. Hoisl
Universität Kaiserslautern, Fachbereich Informatik, Kaiserslautern
"ESSI Application Experiment CEMP:
Auswertung industrieller Meßprogramme zur Zuverlässigkeit und Wiederverwendbarkeit von Software-Produkten"

H.-L. Hausen
Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin
"Software Process Engineering: eine Anwendung des Vorgehensmodells"

E. Pofahl
TÜV Rheinland, Köln
"Zertifizierung von sicherheitsgerichteten programmierbaren Steuerungen"

M. Ullmann
Bundesamt für Sicherheit in der Information (BSI), Bonn
"VSE: ein Werkzeug zur formalen Verifikation und Spezifikation hochwertiger Software"

W. Ruckdeschel
Hochschule der Bundeswehr, Neubiberg
"Der Fachausschuß Software Engineering der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR) e.V."