FORWISS

BAYERISCHES FORSCHUNGSZENTRUM FüR WISSENSBASIERTE SYSTEME

Logo FORWISS

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

Informationen

Gründungsdatum

10.1988

Ende

12.2006

Gefördert durch

Bayerisches Staatsministerium für Wissenschaft, Forschung und Kunst