Benutzer:Conny/Ökonomium/Spezifikationssprache

Der zentrale Bestandteil einer Spezifikationssprache sind Datenströme welche durch ein Datenstrommodell beschrieben werden.

...sind die Kombination von Prämissen und Konklusionen, um in natürlicher oder formaler Sprache ein Auswertungsziel spezifizieren zu können. Hierbei darf es bei der Interpretation der dabei entstehenden Spezifikation keinen Widerspruch geben.

Das Ziel ist, dass ein erstellter Kontext reproduziert und weiterverwandt werden kann. In dem Zusammenhang gibt es den Begriff der Klauselmenge.

Kategorie: