Einsatz strenger Typsysteme für die Modellierung von Benutzerschnittstellen netzbasierter Systeme

• Antragstellerin: Professorin Dr. Elfriede Fehr
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2003 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5395943

Strenge Typsysteme erlauben die Verifizierung von Mindestanforderungen an die Korrektheit von Programmen. An heutigen rein textbasierten Schnittstellen wie z.B. Webschnittstellen geht diese Typinformation verloren. Dies führt zu charakteristischen Fehlern zur Laufzeit des Systems. In diesem Projekt werden Typüberprüfer und Schnittstellengeneratoren entwickelt, die es erlauben, bestimmte verbreitete Fehlerquellen bei der Schnittstellenentwicklung durch formale Typsysteme schon zur Entwicklungszeit auszuschalten. So können bestimmte Qualitätsmerkmale deduktiv bewiesen und damit garantiert werden. Die entwickelten Konzepte erfordern für ihren Einsatz keinerlei proprietäre Technologie und sind daher in praktisch allen Entwicklungsprozessen einsetzbar.

• DFG-Verfahren: Sachbeihilfen