Stefan M. Grünvogel

Modellunterstützer Entwurf von Computerspielen

Abstract: Es wird vorgeschlagen, mit Hilfe formaler Modelle den Entwurfsprozess von Computerspielen zu unterstützten. Die damit verbundenen Herausforderungen und Aufgabenstellungen werden aufgezeigt.