4th German ENCRESS Workshop

15. November 1995
GRS, Kurfürstendamm 200, Berlin

Programm

W. Schynoll
SoftWare Engineering Consulting (SWE), Bietigheim-Bissingen
"Software-Prozeßverbesserungen durch BOOTSTRAP-Assessments"

R. Fachet
Thomson Software Products, Karlsruhe
"Sicherheitsrelevante Lösungen mit C-SMART (Certifiable SMall Ada Run Time)"

K. Grimm
Daimler-Benz, Berlin
"Methodische, werkzeugunterstützte Testfallermittlung für den Funktionstest"

R. Pitschinetz, J. Wegener
Daimler-Benz, Berlin
"Das Testsystem TESSY zur Unterstützung systematischer Software-Tests"

Demonstration der Werkzeuge CTE, TESSY (Daimler-Benz) und SYNQUEST (SWE)

F. Saglietti
Institut für Sicherheitstechnologie (ISTec) GmbH, Garching
Bericht zur German ENCRESS-Organisation

K. Brunnstein
Universität Hamburg, Fachbereich Informatik, Hamburg
"Vergleich der Sicherheitskonzepte elektronischer Flugsteuerungssysteme beim Airbus A 320 und Boeing 777"

M. Heiner
Technische Universität Cottbus, Fachbereich Informatik, Cottbus
"Petri-Net Based Dependability Engineering"

W. Goerigk
Universität Kiel, Institut für Informatik und praktische Mathematik, Kiel
"Implementierungskorrektheit von Compilern"