It defines and processes a specification language pb to generate text.
Describes the specification language that you can use to create time formulas.
The specification language developed for this purpose allows the use of wildcards, which can be replaced with values from the LDAP directory.
Die dafür entwickelte Beschreibungssprache ermöglicht die Verwendung von Platzhaltern, die durch die Werte aus dem LDAP-Verzeichnis ersetzt werden.
A method as claimed in claim 1, characterized in that the addressing mode of one of the entities uses CORBA IDL as the specification language for specifying the address type.
Verfahren nach Anspruch 1, dadurch gekennzeichnet, daß die Adressierung einer der Einheiten als Beschreibungssprache für die Spezifizierung des Adress-Typs CORBA IDL verwendet.
The Z notation is an example of a leading formal specification language.
Die Z-Notation ist ein Beispiel für eine formale Spezifikationssprache.
Compiler and method for compiling specification language into implementation language
Kompiler und Verfahren zum Kompilieren einer Spezifikationssprache in eine Implementierungssprache
The syntax of the specification language is designed to support compact, modular, and readable documents.
Die Syntax der Spezifikationssprache ist entworfen worden, um kompakte, modulare und lesbare Attribut-Grammatiken schreiben zu können.
On the specification language side, we investigate temporal logics whose modalities can be defined using formulas from the monadic second-order logic.
Die Art der Spezifikationssprache betreffend untersuchen wir temporale Logiken, deren Modalitäten mittels Formeln der monadischen Logik zweiter Stufe definiert werden können.
By analyzing digital specification concepts and the existing approaches to analog property specification, the requirements for a new specification language for analog properties have been discussed in this thesis.
Ausgehend von einer Analyse digitaler Spezifikationskonzepte und der bestehenden Ansätze für analoge Eigenschaften wurden Anforderungen an eine neue Spezifikationssprache in dieser Arbeit abgeleitet.
Beside its describing character, an interface definition based on the specification language builds the foundation of the automated code generation for the sensor and receiver side communication APIs.
Neben dem beschreibenden Charakter dient eine auf die Spezifikationssprache basierende Schnittstellendefinition als Basis für eine automatisierte Codegenerierung für die spezifische sensor- und empfängerseitige Kommunikation-APIs.
The research group systems analysis of the institute for computer science develops tools for the specification language SDL.
Die Forschungsgruppe "Systemanalyse" des Instituts für Informatik entwickelt Werkzeuge für die Spezifikationssprache SDL.
To this end, the specification language Clafer provides means for both characterizing structural run-time variability as well as specifying re-configurable elements of the system architecture and complex dependencies.
So bietet die Spezifikationssprache Clafer sowohl Sprachmittel zur Charakterisierung der Laufzeitvariabilität eines Systems als auch für die rekonfigurierbaren Bestandteile der Systemarchitektur sowie komplexer Abhängigkeiten.
Despite existence of formally grounded notations, e.g. ORM2 specification language, up to now SBVR still lacks a sound and consistent logical formalization which allows developing solutions able to automatically test business models for consistency of regulations.
Obwohl es eine formale Syntax für SBVR gibt, zum Beispiel die ORM2 Spezifikationssprache, fehlt dem SBVR Standard zur Zeit noch immer eine solide und konsistente logische Formalisierung, die eine automatisierte Konsistenzprüfung von Geschäftsregeln im Geschäftsmodellen ermöglichen würde.