Steinbeis-Transferzentrum Objekt- und Internet-Technologien

Industrielle Anwendungen der Computer-Logik

Konfiguration komplexer Systeme

Fehleranalyse von Stücklisten

Formale Verifikation von Programmen / symbolic debugging

Spezialgebiet Automotive PDM

Support des Product Data Management bei variantenreicher Produktion

Automatische Analyse der Konfigurationsregeln

Automatische Analyse der Baureihen-Stückliste

Editoren für Konfigurationsregeln und Stückliste

Beschleunigung des DMU Mock-Up

Informationsgewinnung aus PDM Daten (PDM data mining)

Konfiguratoren und Analyse der Konfigurierbarkeit

Software-Verifikation

Fehler-Analyse für LINUX device driver

Fehler-Analyse von Expertensystemen

Netzwerk-Konfiguration

Fehleranalyse in der Konfiguration von Speichernetzen (SAN)

Softwaretechnik

C++, Java, XML

Internet-Technologie

Client-Server Systeme

Windows, UNIX, Linux

Parallele und verteilte Systeme

Beratung, Gutachten, Studien, Schulung

Anwendungsorientierte Forschung und Prototypen-Entwicklung

Entwurf und Erstellung von industriellen Software-Lösungen in Java und C++