Examples with "man RuleChecker" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Benutzt man RuleChecker in Verbund mit Astrées sicherer semantischer Analyse, kann man False-Negatives garantiert ausschließen, und False-Positives für semantische Regeln auf ein Minimum reduzieren.
Using RuleChecker in conjunction with the sound semantic analyses offered by Astrée guarantees zero false negatives and minimizes false positives on semantical rules.
Andere resultaten
Prüft, ob mit dem Modell RuleCHECK Regeln verknüpft sind.
Checks to see if any RuleCHECK rules have been attached to the model.
Im entsprechenden RuleCHECK Bericht werden die Namen der weichen und harten Regeln angezeigt.
The corresponding RuleCHECK report shows the names of the soft and hard rules.
Zudem kann mit RuleCHECK ein Konstruktionsprozess für eine mögliche Automation dokumentiert werden.
It can also be used to document a design process for possible automation.
RuleCHECK hängt an jede dieser Regeln einen Status an.
RuleCHECK attaches a status to each of these rules.
Bestimmen Sie den Regelsatz für RuleCHECK, der für das Modell gelten soll.
Determine the set of rules for RuleCHECK to apply to the model.
Als Design Advisor bietet RuleCHECK sofortigen Zugriff auf das Konstruktionsfachwissen des Unternehmens.
As a design advisor, RuleCHECK offers immediate access to a company's design knowledge.
RuleCHECK kann verschiedene Regeln mit unterschiedlichen Modelltypen verknüpfen.
RuleCHECK can attach different rules to different types of models.
RuleChecker kann im Batch-Modus ausgeführt werden und in Systemen zur kontinuierlichen Integration verwendet werden.
RuleChecker is fully batch-mode compatible and can be used in continuous integration frameworks.
RuleCHECK verwendet den Parameter , um zu bestimmen, welche Gruppe von Regeln mit dem Modell verknüpft sind.
RuleCHECK uses the parameter to determine which set of rules to associate with the model.
Dank dieses flexiblen Ansatzes kann jede statische RuleChecker-Konfiguration für KERCI verwendet werden.
Wenn neue Regeln und Bedingungen erkannt werden, können sie auf einfache Weise RuleCHECK hinzugefügt werden, so dass sie für zukünftige Projekte verfügbar sind.
As new rules and conditions are encountered, they can be easily added to RuleCHECK for future projects.
RuleCHECK kann verwendet werden, um Konstruktionsempfehlungen bereitzustellen und die Befolgung von Konstruktionsregeln zu erzwingen.
RuleCHECK can be used to offer advice and enforce design rules.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
