Anforderungsspezifikationen im Automobilbau werden typischerweise als Regeln in textueller Form verstanden. Da die Regelmengen eher groß werden und durch die textuelle Repräsentation eine effektive Analyse für den Nutzer schwierig ist, bietet sich eine visuelle Darstellung der Daten an. Strukturen und Zusammenhänge werden durch die guten perzeptuellen Fähigkeiten des menschlichen visuellen Systems leichter verständlich, als dies in Textform möglich wäre. \newline In dieser Arbeit wird deshalb ein grafisches Werkzeug vorgestellt, mit dem sich formale Beschreibungen von Anforderungsspezifikationen visualisieren, analysieren und editieren lassen. Der Hauptaspekt der Arbeit liegt in der Visualisierung einer Regelmenge des Faktenkalküls als Graph in Form eines Node-Link-Diagramms. Zusätzlich wird die interaktive Bearbeitung des Graphs und der zugehörigen Regelmenge mittels Linking and Brushing unterstützt. Dies bedeutet, dass eine Änderung der Regelmenge eine gleichzeitige Anpassung der Graphen nach sich zieht und andererseits eine Änderung in der Graphansicht die Regelmenge beeinflusst. Die Implementierung erfolgt in Form eines Eclipseplugins in der Sprache Java, um die Anwendung plattformunabhängig zu gestalten.