Our working group focuses on research with respect to technical specification and realization of software systems. We aim at developing, enhancing and applying systematical approaches for design, verification and evaluation of software architectures. To learn more about our research activities and projects, feel free to browse through the list of topics below.
Besides these projects, we are doing basic research in the area of Formal Component Modeling and Component Frameworks.
We are the developers of JACK, an enhanced web-based system for automated grading and intelligent tutoring. Methods for grading and feedback generation in complex domains like programming and mathematics are topics both in independant research and in funded projects at our group.
We are member of the SEMAT initiative and and take part in several of the related activities. In particular, we are involved in working on the ESSENCE standard and organizing the "General Theories of Software Engineering" workshop series. Moreover, we work with partners from industry who are interested in using ESSENCE in their endeavors.
In collaboration with several project partners from industry, we developed a synthetic load generator named SyLaGen, which is capable of generating load from distributed clients following a pre-defined workload and measuring answer times and system throughput. A flexible adapter concept allows to generate load for virtually any system, from simple web interfaces up to specific protocols.