Thomas Kühne
Augmented Reality Exception Unified Modeling Language (UML) aspect-oriented modeling design embedded systems formal methods formal semantics generic programming meta-modeling model checking model-based software architecture model-driven software development modeling security