UHH
>
Informatik
>
NatS
>
LUSE Web
>
ArbeitsPlan
>
TodoDiagnose
(17 Oct 2012, UnknownUser)
P
rint version
+ Todo Diagnose
Diagnosekomponente für DB-Abfragen
Typüberprüfung
Koreferenz
Constraints
automatisches Schliessen von Constraints aus einer Musterlösung
Feedbackgenerierung
Instantiierung (speziell. bei Negation und Vergleichen mit < > etc.)
Syntaxfehler
Drei Ebenen für die Diagnose von Fehlern
Syntaktisch (Komma, Klammer zu, Punkt etc. vergessen) (zurückgestellt)
fehlende / zusätzliche Argumente bei einem Prädikatenaufruf
Fehler in der Kombination der Prädikatenaufrufe
--
YannickVersley
- 04 Jun 2003
LUSE
Warning: Can't find topic LUSE.WebLeftBarExample
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki?
Send feedback