You are here:
Search for Keywords:
Please enter at least 3 characters or change search options
Documents 1 - 3 of 3

 
 
 
 
Towards Formal Verification of UML Diagrams Based on Graph Transformation

THEMES: Fan, Yushun | Zhao, Yu | Bai, Xinxin Bai | Wang, Yuan | Cai, Hong Cai | Ding, Wei
2004LABEL: Case Study | e-Commerce | Graph Transformation | Petrinet | UML
LANGUAGE: English
ORGANIZATIONS: CEC East | Cims ERC | IBM Research Center | IEEE | University - Tsinghua University Beijing
PEOPLE: Bai, Xinxin | Cai, Hong | Ding, Wei | Fan, Yushun | Wang, Yuan | Zhao, Yu
PLACES: Beijing | China
TIME: 2004
Ein objektorientiertes Datenmodell für das Vorlesungsverzeichnis der Universität Paderborn

THEMES: UniMobilis\VVZ | Meyer, Matthias
2003LABEL: Laptop | Notebook | UML | UniMobilis Projekt | VVZ
ORGANIZATIONS: Notebook University | Universität Paderborn - University of Paderborn
PEOPLE: Meyer, Matthias
THINGS: Datenmodell | objektorientiert | Vorlesungsverzeichnis
Evaluation der Anwendbarkeit der Unified Modeling Language (UML) in der Anwendungsentwicklung für Lotus Notes/Domino

THEMES: Schierholz, Ragnar | GCC Teaching\...\3 Completed | GCC Awards | DNUG\Diplomarbeiten...
META STRUCTURES: GCC Activities\...\Awards | GCC Activities\...\Projects | GCC Awards\...\All | GCC Teaching\...\All | GCC Teaching\...\Notes-Applikat... | Projects\...\Awards | Projects\...\Awards
2002LABEL: Groupware | Lotus Domino | Lotus Notes | Lotus Notes/Domino 6 | Master Thesis | Software Engineering | UML | Wirtschaftsinformatik - Business Computing
ORGANIZATIONS: DNUG | GCC - Groupware Competence Center | Lotus | Rational
PEOPLE: Schierholz, Ragnar
PLACES: Bonn | Paderborn
THINGS: Award | Modellierung | Winner
TIME: 2002
Konzeption und prototypische Realisierung eines generischen Werkzeugs für die Prozess-Modellierung von ad-hoc-Workflows

THEMES: Peter, Marion | GCC Teaching\...\3 Completed | GCC Awards | DNUG\Diplomarbeiten...
META STRUCTURES: CH\...\Student Projec... | GCC Activities\...\Awards | GCC Activities\...\Projects | GCC Awards\...\2003 | GCC Awards\...\All | GCC Teaching\...\All | GCC Teaching\...\GroupProcess | Projects\...\Awards | Projects\...\Student Projec... | Projects\...\Awards | Projects\...\Student Projec...
2002LABEL: Ad hoc Workflow Managament | Groupware | Java | Lotus Notes/Domino 6 | Master Thesis | UML | User Interface - UI | Wirtschaftsinformatik - Business Computing | Workflow | Workflow - Ad hoc
ORGANIZATIONS: DNUG | GCC - Groupware Competence Center
PEOPLE: Peter, Marion
PLACES: Hamburg | Paderborn
THINGS: Award | Klassendiagramm | Process Modeling | Winner
TIME: 2002