Personal tools

Software-intensive Systems

From PUMA Graduiertenkolleg

Revision as of 15:23, 19 March 2012 by Kernch (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Summary

Besides the development of new, theoretically well founded analysis principles, the doctorate program PUMA aims at the development of practically useful algorithms and tools for the analysis of secure and reliable software-intensive systems.

In this project, we plan to apply the newly developped methods in two ways: on the one hand, for the formalization and/or translation of application models into logic or other formal calculi followed by the analysis of the formal model through our algorithms; on the other hand, by directly adapting our methods to the modelling languages currently used in practice, such as UML BPEL, Java.

Topics