Diese SW-Einheit ist Bestandteil der NERZ-Software.
Aufgabe der SWE Pl-Prüfung formal ist es, die Werte aller parametrierten Attribute nach formalen Kriterien zu überprüfen. Je Attribut müssen dazu numerische Grenzwerte in der Parametrierung hinterlegt sein. Prinzipiell ermöglicht die SWE Pl-Prüfung formal, alle terminalen numerischen Attribute zu überprüfen, die innerhalb einer Datenidentifikation vorkommen können.
BitCtrl Systems GmbH
Weißenfelser Straße 67
04229 Leipzig
Phone: +49 341-490670
mailto: info@bitctrl.de