Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Universität Bremen
TZI Technologie-Zentrum Informatik und Informationstechnik
Adresse
Bibliothekstraße 5
28359 Bremen
Deutschland
GERiT
Diese Institution in GERiT
28359 Bremen
Projekte
Schwerpunktprogramme
laufende Projekte
Scalable Pervasive Health Environments
(Antragsteller
Herrlich, Marc
;
Malaka, Rainer
)
abgeschlossene Projekte
Effiziente Analyse von hybriden Systemen
(Antragsteller
Peleska, Jan
)
Support for correct evolution of software product lines
(Antragsteller
Koschke, Rainer
;
Schmid, Klaus
)
Sachbeihilfen
laufende Projekte
Visualisierung von Software auf verschiedenen Endgeräten für das kooperative Programmverstehen in verteilten Teams
(Antragsteller
Koschke, Rainer
)
abgeschlossene Projekte
Abstrakte Implementierung von und Dokumentation mit UML
(Antragsteller
Gogolla, Martin
)
Bad Smells in langlebigen Systemen - Empirische Untersuchungen zur Auswirkung und Evolution von Bad Smells
(Antragsteller
Koschke, Rainer
)
Benutzungsschnittstellen für Navigation und Exploration in Folksonomien auf mobilen Endgeräten und Evaluation ihrer Gebrauchstauglichkeit in mobilen Nutzungskontexten
(Antragsteller
Malaka, Rainer
)
CPOT-SM – Vollständiges eigenschaftsorientiertes Testen mit symbolischen Methoden
(Antragsteller
Peleska, Jan
)
Empirische Grundlagenerforschung zum Programmverstehen in der Softwaretechnik
(Antragsteller
Koschke, Rainer
;
Maalej, Walid
)
Empirische Untersuchungen von Methoden und Entwicklung von Werkzeugen für das kosteneffektive Klonmanagement
(Antragsteller
Koschke, Rainer
)
Erkennung und Validierung von Security-Patterns
(Antragsteller
Koschke, Rainer
;
Sohr, Karsten
)
Formale Fehlerbaumanalyse, Spezifikation und Testen von hybriden Echtzeitsystemen in Anwendung auf die Servicerobotik
(Antragsteller
Krieg-Brückner, Bernd
)
Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien
(Antragsteller
Sohr, Karsten
)
Globale Programm-und Architekturanalysen objektorientierter Systeme
(Antragsteller
Plödereder, Erhard
)
Globale Programm- und Architekturanalysen zur Konsolidierung von Software-Varianten zu Software-Produktlinien
(Antragsteller
Koschke, Rainer
)
Methoden der Bildverarbeitung und Digitalen Medien zur Unterstützung der paläografischen Forschung bei Transkription, Schreiberidentifikation und SchreiberprofiIvergleich in historischen Dokumenten -Diptychon-
(Antragsteller
Lawo, Mathias
;
Lawo, Michael
)
Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung
(Antragsteller
Krieg-Brückner, Bernd
)
Planungsverfahren für das Allgemeine Spiel
(Antragsteller
Lawo, Michael
)
Spezifikation und Analyse von Modelltransformationen mit Hilfe von Modelltransformationseinheiten
(Antragsteller
Kreowski, Hans-Jörg
)
Untersuchung und Identifikation kritischer Faktoren für die Objekterkennung und das Training erscheinungsbasierter, kompositioneller Modelle
(Antragsteller
Kuhnert, Klaus-Dieter
)
Forschungsgruppen
laufende Projekte
FOR 5656: Kommunikative KI: Die Automatisierung der gesellschaftlichen Kommunikation
(Sprecher
Hepp, Andreas
)
Interfaces: Implementierung von nutzerzentrierter kommunikativer KI
(Antragsteller
Malaka, Rainer
)
Sonderforschungsbereiche
laufende Projekte
Aktionsbasierte Semantik für die Sprache von Handlung und Wirkung: kombinierte Analyse, Schlussfolgerung und Simulation
(Teilprojektleiter
Bateman, Ph.D., John
;
Malaka, Rainer
)
Prinzipien des Meta-Schlussfolgerns für Alltagsaktivitäten
(Teilprojektleiter
Bateman, Ph.D., John
;
Malaka, Rainer
)
abgeschlossene Projekte
Akquisition und Explikation von Instruktionen für Alltagsaktivitäten
(Teilprojektleiter
Bateman, Ph.D., John
;
Malaka, Rainer
)
Regelbasierte Graphtransformation: Modellierung selbststeuernder Logistikprozesse mit Hilfe regelbasierter Graphtransformation
(Teilprojektleiter
Kreowski, Hans-Jörg
)
Wissensmanagement: Wissensmanagement zur Unterstützung selbststeuernder Logistikprozesse
(Teilprojektleiter
Herzog, Otthein
;
Langer, Hagen
;
Malaka, Rainer
)
Forschungsgroßgeräte
abgeschlossene Projekte
WAP-Cluster mit vier Servern und 20 Arbeitsplätzen
Forschungsdaten und Software
abgeschlossene Projekte
Anpassbare Interaktion mit materialwissenschaftlichen Forschungsdaten (AimData)
(Antragsteller
Herrmann, Axel
;
Malaka, Rainer
;
Thoben, Klaus-Dieter
;
Zoch, Hans-Werner
)
InVenod - interaktive Verarbeitung nicht OCR-geeigneter Dokumente
(Antragsteller
Gottfried, Björn
;
Hübler, Arved C.
)
Forschungsstipendien
abgeschlossene Projekte
Prüfbare Erreichung von prüfbar sichersten Zuständen autonomer Maschinen in seltenen Szenarien
(Antragsteller
Gleirscher, Mario
)
Großgeräteinitiative
abgeschlossene Projekte
In-situ Untersuchung der 3D Mikrostrukturentwicklung und der 3D chemischen Zusammensetzung während der Verarbeitung und Fertigung moderner Werkstoffe
(Antragsteller
Colombi Ciacchi, Lucio
)
Graduiertenkollegs
laufende Projekte
GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
(Sprecher
Fey, Görschwin
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung
