Universität Bremen
Fachbereich 03 - Mathematik und Informatik
Arbeitsgruppe Datenbanksysteme
Adresse
Postfach 330440
28334 Bremen
Deutschland
GERiT
Diese Institution in GERiT
28334 Bremen
Projekte
Sachbeihilfen
abgeschlossene Projekte
Abstrakte Implementierung von und Dokumentation mit UML
(Antragsteller
Gogolla, Martin
)
Entwicklung eines modularen Frameworks für die automatische Validation und Verifikation von UML/OCL-Modellen
(Antragsteller
Gogolla, Martin
;
Wille, Robert
)
