8th German ENCRESS Event and joint event with FME Ind Sem
Industrial Seminar on Formal Methods

17. Februar 1997
Institut für Sicherheitstechnologie (ISTec)
Forschungsgelände, Garching bei München

Programm

Hans - Martin Hörcher, Francesca Saglietti
Vossloh System-Technik, Kiel, Institut für Sicherheitstechnologie (ISTec), Garching
Begrüßung
Vorstellung von Formal Methods Europe und German ENCRESS

Jan Storbank Pedersen
Computer Resources International (CRI), Kopenhagen
"Anwendung Formaler Methoden im LaCoS Projekt und im Oersted Satellitensystem"

Peter Gorm Larsen
IFAD, Odense
"Erfahrungen bei der Einführung Formaler Methoden in Industrieorganisationen
wie Aerospatiale und British Aerospace"

Karl Meinke
Logikkonsult, Stockholm
"Anwendung Formaler Beschreibungstechniken in der Softwareerstellung bei Volvo"

Hans-Martin Hörcher
Vossloh System-Technik, Kiel
"Steigerung von Qualität und Effektivität der Software-Testphase durch Formale Methoden"

Diskussion
"Welche Probleme verhindern den industriellen Einsatz Formaler Methoden?"

Demonstration
von Werkzeugen für Formale Methoden