A strongly typed approach to modelling user interfaces of net-based systems

• Applicant: Professorin Dr. Elfriede Fehr
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2003 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants