Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 37 for “"Spezifikation"”.
-
Spezifikation und Einsatz eines Stereokamerasystems zur videobasierten Patientenpositionierung in der Präzisionsstrahlentherapie
Zur stereotaktischen und intensitätsmodulierten Strahlentherapie von Tumoren ist eine präzise Patientenpositionierung – aufgrund steilerer Gradienten der Dosisverteilung – essenziell. Die vorliegende Arbeit beschäftigt sich mit der Implementierung eines hochpräzisen, ?exiblen Stereokamerasystems …
-
Kontextadaptive Dienstnutzung in Ubiquitous Computing Umgebungen
… vorliegende Arbeit präsentiert einen Ansatz zur Spezifikation und Implementierung von kontextadaptiven Anwendungen in einer Ubiquitous Computing Umgebung. Grundlegend ist dabei das Konzept der kontextadaptiven Dienstnutzung, die sowohl die kontextadaptive Selektion als auch Ausführung von …
-
Transformation-Based Component Architectures - General Framework, Instantiations and Case Study
Die Arbeit stellt ein abstraktes Konzept für die Spezifikation von Softwarekomponenten vor, welches die Spezifikation von Komponenten mit jeweils mehreren anbietenden und fordernden Schnittstellen unterstützt. Die Verbindung von Komponenten ist durch Familien von Transformation zwischen fordernden …
-
COMDES: Simulations- undVerifikationstechiken für den Hardware Entwurf auf Systemebene
… integriert verschiedene formale Methoden der Spezifikation, Simulation und Verifikation in einer homogenen Entwicklungsumgebung, welche alle Phasen eines formal korrekten Entwurfs unterstützt. Die Arbeit stellt - ausgehend von einer Systembeschreibung aus Sicht des Designers - die verwandten …
-
Testing hybrid systems with TTCN-3
… hybrider Systeme wird eine ausführbare Testspezifikationssprache abgeleitet, die eine intuitive Spezifikation automatisierter Tests für Systeme der Automobilindustrie ermöglicht. Die Spezifikation dedizierte Schnittstellen zur Stimulation, Auswertung und Zeitkontrolle sorgen für eine …
-
Object-oriented hardwarespecification and design with a language extension to VHDL
… orientierter Ideen mit etablierten Methoden zur Spezifikation und zum Entwurf von Hardware.
-
Wildtierökonomik - Naturressourcenallokation in der Wettbewerbsordnung
… von Jagdgesetzen formuliert werden, die der Spezifikation von Wilddichten nicht bedürfen.
-
Synthesis of digital circuits from object-oriented specifications
… ein methodischer Bruch zur objektorientierten Spezifikation vermieden. Neben der allgemeinen, auf einem Metamodell objektorientierter Systembeschreibungen basierenden Formulierung von Synthesekonzepten und Optimierungsverfahren ist auch deren Umsetzung für Objective VHDL, eine objektorientierte …
-
Ontologisch basiertes Datenmodell für die Beschreibung wissenschaftlicher Sammlungen
… Sammlungen (SCDM) geschaffen, dessen Spezifikation den Fokus dieser Arbeit bildet.
-
Tests zur Modellspezifikation in der nichtlinearen Regression
… Arbeit befasst sich mit der Frage, wie diese Spezifikation für parametrische Modelle selbst getestet werden kann. In Erweiterung bestehender Verfahren werden Tests mit festem Kern eingeführt und ihre asymptotischen Eigenschaften werden analysiert. Es wird gezeigt, dass die Bestimmung der …
-
Inhibition of Hox function by the cell cycle regulator geminin
… beteiligt ist. Auf der einen Seite steht die Spezifikation von zellulären Identitäten während der Embryogenese, welche von Hox-Proteinen und dem Polycomb-Komplex, Scmh1 eingeschlossen, kontrolliert wird. Auf der anderen Seite wird die Initiation der DNA-Replikation während des Zellzyklusses, …
-
Konzeption und Implementierung eines generischen Modellierungswerkzeugs zur Unterstützung der domänenspezifischen Prozessmodellierung
… Syntax ist dabei identisch mit der Sprache zur Spezifikation der konkreten Syntax. Letztere repräsentiert die Grundlage eines Diagramm-Editors, der zum Erstellen und Manipulieren von Modellen in der durch das Meta-Modell deklarierten domänenspezifischen Sprache dient. Ein charakteristisches …
-
Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling
… die Existenz einer formalen, zustandsbasierten Spezifikation voraussetzt. Ein ausführbares, zustandsbasiertes Modell erfüllt diese Anforderungen in der Regel. Aus diesen Gründen ist die Wahl eines Model Checking Ansatzes für die Generierung von Testfällen im Rahmen eines modellbasierten …
-
Model-driven performance measurement and assessment with relational traces
… Traces. Der Ansatz schlägt die deklarative Spezifikation der Performanzkennzahlen in einer domainspezifischen Sprache und die Nutzung von relationalen Datenbanken für die Speicherung und metrische Berechnung vor. Der Ansatz wird mit der Umsetzung eines UML-Profils für UML-Klassen- und …
Page 1 of 2