Sammlungen der UB Paderborn / Institut für Informatik [141-160]

Full semantics preservation in model transformation
Semenyak, Maria
2011
Functional models in configuration systems
Stein, Benno
Paderborn, 1995
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
The GAG-system : A tool for compiler construction
Kastens, Uwe
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181
Gefahrenanalyse selbstoptimierender Systeme
Tichy, Matthias
2009
Generating interpreters from compiler specifications
Kastens, Uwe
Paderborn, 1994
Generating processors from specifications of instruction sets
Dreesen, Ralf
2011
Ein Generator zur Entwicklung visueller Sprachen
Jung, Matthias
2000
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Generierung von Animation und Simulation für graphische Struktureditoren
Cramer, Bastian
2010
Generierung von Struktureditoren für anspruchsvolle visuelle Sprachen
Schmidt, Carsten
2006
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Geometric spanners for topology control in wireless networks
Volbert, Klaus
2005
Geospatial link discovery with human in the loop
Ahmed, Abdullah Fathi Ahmed ; Ngonga Ngomo, Axel-Cyrille ; Algergawy, Alsayed Alshahat Alsayed ; Sherif, Mohamed Ahmed Mohamed ; Sauer, Stefan ; Dumitrescu, Roman
Elektronische Ressource, Paderborn, 2024
Goal-oriented business process engineering
Nagel, Benjamin
2015
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Graph-Einbettungen unter besonderer Berücksichtigung von Gitternetzwerken
Schröder, Ulf-Peter
2000
Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
Engels, Gregor
Osnabrück, 1986
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias ; Platzner, Marco ; Wehrheim, Heike ; Andrews, David ; Meyer auf der Heide, Friedhelm ; Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
Helping Java developers reduce cryptographic API misuses
Schlichtig, Michael
Paderborn, 2026
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Full semantics preservation in model transformation

Functional models in configuration systems

Fuzzy matching of comprehensive service specifications

The GAG-system : A tool for compiler construction

Gefahrenanalyse selbstoptimierender Systeme

Generating interpreters from compiler specifications

Generating processors from specifications of instruction sets

Ein Generator zur Entwicklung visueller Sprachen

Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen

Generierung von Animation und Simulation für graphische Struktureditoren

Generierung von Struktureditoren für anspruchsvolle visuelle Sprachen

Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen

Geometric spanners for topology control in wireless networks

Geospatial link discovery with human in the loop

Goal-oriented business process engineering

Graph transformation planning with time and concurrency

Graph-Einbettungen unter besonderer Berücksichtigung von Gitternetzwerken

Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung

Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware

Helping Java developers reduce cryptographic API misuses