Langzeitarchivierung

Design, Implementierung und Betrieb sicherer vernetzter Anwendungen

Kooperationssysteme, CSCW, Social Software, Web 2.0, Enterprise 2.0

RelMiCS - Relational Methods in Computer Science

TituRel - eine relationale Referenzsprache mit Interpreter

HOPS - The Higher Object Programming System

mediaTUM - Medienserver der TU Bibliothek in München

RALF - ein Beweis-Assistent

RelView - Interactive tool for computer-supported manipulation of relations represented as Boolean matrices

JACCIE - Java-basierte Compiler-Compiler

SIC - Smalltalk-basierter Interaktiver Compiler-Compiler

CDET - Das Consistent Document Engineering Toolkit

GXL - Graph eXchange Language

TARSKI - Theory and Applications of Relational Structures as Knowledge Instruments

GROOM - GRundlagen Objekt-Orientierter Programmierung

PROGRES - Graph rewriting system