Solibri Model Checker

Das vorliegende Grundkurs Handbuch für den Solibri-Model Checker bietet in seiner ersten Auflage einen fundierten Einstieg in das regelbasierte Qualitätskontroll- und sicherungsprogramm des finnischen Softwareanbieters Solibri. Zunächst werden die Grundeinstellungen beleuchtet, um die technischen Möglichkeiten des Solibri Model Checkers kennenzulernen. Anhand eines Projektes wird der Prozess der Prüfung und Evaluierung, deren Zusammenfassung sowie die Kommunikation an Dritte dargestellt. Ebenso wird der Ansatz der flexiblen Anpassung der Prüfroutinen und der Einsatz des Solibri Model Chekers erläutert. Dem Leser wird durch das Handbuch die zugrundeliegende "Denkweise" - der rote Faden - nähergebracht, um die Anwendung, Implementierung und strukturellen Möglichkeiten des Solibri Model Checkers zu verstehen. Es dient zusätzlich als Nachschlagewerk, um grundlegende Fragen der Anwendung des Solobri Model Checkers klären zu können. Die einzelnen Kapitel bauen aufeinander auf und es ist daher empfehlenswert diese chronologisch zu bearbeiten.