Das so entstehende formale Modell kann als Basis für den weiteren Systembearbeitungs- und -analyseprozess verwendet werden.
The resulting formal model can serve as a basis for editing and analyzing the system.
Für dieses formale Modell kann auf der Grundlage des allgemeineren Konzeptes der empirischen Semantik von Agenten-Kommunikation eine formale Semantik für rahmenbasierte Kommunikation abgeleitet werden.
For this formal model, we also establish a formal semantics based on a more general model of empirical semantics for agent communication.
Das formale Modell fokussiert auf ein einfaches Integrationsszenario, in dem zwei Ontologien (Empfänger- und Senderontologie), die sich in der Praxis bewährt haben und verwandte Terminologien besitzen, integriert werden.
The formal model focusses on a simple integration scenario according to which two well proven ontologies (receiver's and sender's ontology) with similar terminologies have to be integrated.
Diese abstrakte Architektur wird durch das formale Modell einer konkreten, direkt implementierbaren Instanz von InFFrA ergänzt, die den Anforderungen des Meta-Modells genügt.
This abstract architecture is supplemented by the formal model of a concrete, ready-to-implement instance of the meta-model that complies with InFFrA requirements.
Das formale Modell der Case Retrieval Netze wird im Detail erläutert und dessen Eigenschaften untersucht.
The formal model of CRNs is presented in detail and its properties are investigated.
In der vorliegenden Arbeit wurde das formale Modell auf Standard-Simulatoren, inkl.
In this work, the formal model was mapped on standard simulators, inclusive VHDL AMS.
Damit können Vorteile beider Entwurfsansätze in einem kombinierten Entwurfsfluss ausgenutzt werden: Formale Methoden können für das formale Modell der Anwendung eingesetzt werden.
As a result, advantages from both design approaches can be exploited in the combined design flow: Formal methods may be applied to the initial formal application model.
Der große Vorteil des wie oben vorgeschlagen kombinierten Entwurfsflusses ist die Möglichkeit, das formale Modell der Anwendung über die Generierung von SytemC/TLM-Programmen hinaus auszunutzen.
However, the real beauty of the combined design flow, as suggested above, is the opportunity to exploit the formal application model beyond the generation of a SystemC/TLM program.
Dieses formale Modell ist einmalig in Bachs Gesamtwerk.
Vera Röhm ist durch das formale Modell, das sie „Ergänzung" genannt hat, vertreten. Darin vergegenständlicht sich die Objektivität einer Signatur, die zugleich als Psychogramm fungieren kann.
Vera Röhm herself is represented through the formal unit she calls "Integration": it assumes the objectivity of a signature and bears as much psychic relevance.
Dieses formale Modell ist einmalig in Bachs Gesamtwerk.