Graduate Seminar

Location: Room S2-02 / E302
Date and Time:
30. Januar 2007, 16:15-18:00

Dr. Andreas Roth (SAP Research CEC Darmstadt)

Formale Methoden für Unternehmenssoftware? - Aktueller Zustand und Herausforderungen

Abstract: Formale Methoden versprechen massiv erhöhte Qualität und Produktivität für
das Software Engineering komplexer Systeme. In der Entwicklungs-Realität
großer Software-Unternehmen im Bereich Unternehmenssoftware sind sie jedoch
nicht angekommen. Im Vortrag wird erörtert, was die Anwendung Formaler
Methoden erschwert, was demzufolge Herausforderungen an Formale Methoden
sind und welche Gelegenheiten sich augenblicklich bieten, Formale Methoden
in diesem Bereich zur Anwendung zu bringen. In diesem Zusammenhang wird ein
neues von der EU gefördertes Projekt mit Beteiligung von SAP Research CEC
Darmstadt vorgestellt, das sich dem "Deployment" Formaler Methoden in
verschiedenen Industriesektoren, darunter dem Unternehmenssoftware-Sektor,
widmet.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang