Key points are not available for this paper at this time.
Das Planner-Projekt entwickelt einen Programmier-Auszubildenden, der bei wissensbasierter Programmierung unterstützt. Der Programmier-Auszubildende ist für die interaktive Nutzung durch erfahrene Programmierer bei der Meta-Evaluation von Implementierungen im Kontext ihrer Verträge und ihres Hintergrundwissens konzipiert. Die Meta-Evaluation liefert eine Begründung, die explizit darstellt, wie das Modul von den Verträgen anderer Module und vom Hintergrundwissen abhängt. Diese Begründung wird verwendet, um Fragen zu den Verhaltensabhängigkeiten zwischen Modulen zu beantworten und die Auswirkungen von Störungen in Spezifikationen und/oder Implementierungen zu analysieren.
Hewitt et al. (Sat,) haben diese Frage untersucht.