1st German ENCRESS Workshop

24. Januar 1995
ISTec, Forschungsgelände, Garching bei München

Programm

C. Dale
Centre for Software Reliability (CSR), London
"Software & System Dependability Overview"
"ESSI Application Experiments Projects Relevant to ENCRESS"

W. Braunschober
Gesellschaft für Software Engineering (GSE), München
"ESSI Application Experiment QuaFoMet:
Improving Quality and Efficiency of Safety-Critical Embedded Computing Systems by the Use of Formal Methods"

C. Kluthe
Bizerba-Werke, Balingen
"ESSI Application Experiment ESWM:
The Enhancement of Software Modules by Reverse Engineering"

M. Müllerburg
Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin
"Validation synchroner reaktiver Systeme durch formale Verifikation und systematischen Test"

R. Baber
Bad Homburg
"Mathematisch rigorose Programmkonstruktion: ein Beispiel"

C. Dale
Centre for Software Reliability (CSR), London
"ENCRESS and the UK Safety-Critical Systems Club Experience"

W. Ehrenberger
Fachbereich Angewandte Informatik und Mathematik, Fachhochschule Fulda
"Deutsche und internationale Vereine und Normungsgremien auf dem Gebiet der Rehnersicherheit"

F. Saglietti
Institut für Sicherheitstechnologie (ISTec), Garching bei München
"Vorschlag für ENCRESS in Deutschland: Zielsetzung und Vorgehensweise"