FORWISS
BAYERISCHES FORSCHUNGSZENTRUM FüR WISSENSBASIERTE SYSTEME
EXPLAIN
Arbeitsfeld:
Wissenserwerb (WE)Ziel des Projektes: Eine präzise Definition und formale Charakterisierung von Fehlern in Logik-Programmen zu entwickeln und in einem weiteren Schritt zu untersuchen, wie sich eine Logik-Programmierumgebung für die (halb-)automatische Behandlung von Programmierfehlern erweitern lässt.
Gefördert durch:
Bayerisches Staatsministerium für Wissenschaft, Forschung und Kunst