Softwaregestützte Erstellung der Spezifikation

Schon bei der Eingabe - und das ist der ideale Zeitpunkt 1) - werden laufend zahl­reiche Prüfungen auto­matisch durchgeführt:

Widersprüche, Redundanzen, Bereichs-Überlappungen oder Lücken, Unvollständigkeiten und vieles mehr werden auto­ma­tisch erkannt und dem Anwender unmittelbar 1) angezeigt:

Wenn möglich, werden auch gleich auto­matische Korrekturvorschläge angeboten, wie z.B. eine auto­matische Ergänzung von noch fehlenden Regeln:

LF‑ET unterstützt auch durch automatische Optimierungsvorschläge, wie in diesem Beispiel zu möglichen Regel-Verdichtungen:

Genau in dem Moment, in dem der Anwender einen Denkfehler oder etwas übersehen hat ‑ also direkt an der Quelle ‑ weist LF‑ET auto­ma­tisch auf erkannte Probleme hin. Je später ein Problem oder Fehler erkannt wird, umso auf­wän­diger, schwieriger und teurer ist be­kannt­lich die Behebung.