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.
linear temporal
Solche Typestate Properties, erlauben es Programmierern, mit Hilfe von verschiedenen Eingabesprachen wie zum Beispiel regulären Ausdrücken, Linear Temporal Logic, usw. Eigenschaften über den aktuellen Zustand eines oder mehrerer Objekte auszudrücken
Typestate properties allow programmers to use finite-state formalisms such as regular expressions or linear temporal logic to express properties about the current state of a class of objects, the so-called typestate.
Eine weitere wichtige spezielle Teilmenge von CTL* ist die Linear Temporal Logic (kurz LTL).
Computation tree logic is in a class of temporal logics that includes linear temporal logic (LTL).
RLTL ist eine Erweiterung von der Linear Temporal Logic (LTL) um reguläre Ausdrücke und bietet dadurch eine höhere Ausdrucksstärke als LTL.
Regular linear temporal logic (RLTL) combines the advantages of linear temporal logic (LTL) and regular expressions in a new logic.
Zu diesem Zweck wird mit der Linear Temporal Object Constraint Language (LT-OCL) exemplarisch eine prädikatenlogische Temporallogik entwickelt, die eine metamodellunabhängige Analyse für ausführbare Modelle erlaubt.
Furthermore, we develop the Linear Temporal Object Constraint Language (LT-OCL) to perform a dynamic analysis of execution runs based on the executable models.
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine modale temporale Logik mit zeitlichen Modalitäten.
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
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.
