Veröffentlichungen der Universität / Datenverarbeitung; Informatik [61-80]

Integrating contract-based testing into model-driven software development
Güldali, Barış
2015
Model consistency management for systems engineering
Rieke, Jan Dominik
2015
PBlaman: kontraktbasierte Performance-Blame-Analysis
Brüseke, Frank
2015
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
Acceleration of material flow simulations
using model coarsening by token sampling and online error estimation and accumulation controlling
Renken, Hendrik
2014
Adaptivity engineering
Modeling and quality assurance for self-adaptive software systems
Luckey, Markus
2014
Exploiting model morphology for event-based testing
Beyazıt, Mutlu
2014
INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen Datenmengen
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Plessl, Christian
Elektronische Ressource, Paderborn, 2013
On the role of test sequence length, model refinement, and test coverage for reliability
Linschulte, Michael
2013
Reengineering of component-based software systems in the presence of design deficiencies
Detten, Markus von
2013
Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias
2011
Scenario-based design of mechatronic systems
Greenyer, Joel
2011
Systematic development of model-based software engineering methods
Sauer, Stefan
2011
Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Platzner, Marco
Elektronische Ressource, Paderborn, 2010
Towards an RTOS for self-optimizing mechatronic systems
Oberthür, Simon
2010
Approaching system level design
Rammig, Franz Josef
In: VHDL for simulation, synthesis and formal proofs of hardware, Jg. 1992, S. 259-276
Aufgabenbezogene, dialogorientierte Systementwicklung
Keil-Slawik, Reinhard
In: Softwaretechnik-Trends, Jg. 1985, S. 105-135
Behavior adaptive and real-time model of integrated bottom-up and top-down visual attention
Aziz, Muhammad Zaheer
2009
Ein Beitrag zum Benchmarking von Planungsverfahren und zur Produktionsplanung und -steuerung für die mehrstufige auftragsbezogene Serienfertigung in der Automobilzulieferindustrie
Wesemann, Jan
2009
CAP/SIL
eine Systemimplementierungssprache für Multi-Mikroprozessor-Systeme aus der CAP Sprachfamilie
Rammig, Franz Josef
In: Implementierungssprachen für nichtsequentielle Programmsysteme, Jg. 1981, S. 119-132
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Integrating contract-based testing into model-driven software development

Model consistency management for systems engineering

PBlaman: kontraktbasierte Performance-Blame-Analysis

Verification and simulation of self-adaptive mechatronic systems

Acceleration of material flow simulations

Adaptivity engineering

Exploiting model morphology for event-based testing

INSPIRE: Insight to scientific publications and references

On the role of test sequence length, model refinement, and test coverage for reliability

Reengineering of component-based software systems in the presence of design deficiencies

Performance modeling and analysis in high-performance reconfigurable computing

Scenario-based design of mechatronic systems

Systematic development of model-based software engineering methods

Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks

Towards an RTOS for self-optimizing mechatronic systems

Approaching system level design

Aufgabenbezogene, dialogorientierte Systementwicklung

Behavior adaptive and real-time model of integrated bottom-up and top-down visual attention

Ein Beitrag zum Benchmarking von Planungsverfahren und zur Produktionsplanung und -steuerung für die mehrstufige auftragsbezogene Serienfertigung in der Automobilzulieferindustrie

CAP/SIL