Projects

SoftwareDynamics2: Fine-Grained Evolution of Software Behavior. In this joint-project between the University of Stuttgart and the Alpen-Adria University Klagenfurt, we will investigate novel methods and techniques to analyze and visualize the impact of specific code changes on the dynamic behavior of a software system, and to find causes for specific changes of dynamic behavior in the evolution of a software system.

University of Duisburg-Essen

Further Information

The goal of this project is to investigate an approach for versioning posts on Stack Overflow that deal with questions related to using an API. The main idea is to parse the code snippets in posts to infer the minimum and maximum API version and add this information to the posts. This information can help Stack Overflow users to filter posts and answers that might not be valid for a particular API version. Furthermore, it can help Stack Overflow to indicate outdated answers or answers that should be updated

• Software Competence Center Hagenberg

Further Information

Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems. In this project we aim at investigating methods and techniques to reverse engineer "formal models" from existing systems based on rewriting logic capturing explicit and implicit aspects of the original system. We claim that by using formal reasoning techniques on top of the extracted models the software engineer can first express a formal property that the system exhibits before re-engineering, and later check it against the re-engineered models representing the system design.

XAUTOMATA TECHNOLOGY GmbH and Università Politecnica delle Marche

Further Information

The qualification network V-Net – IT enabled Eco Systems provides training for key personnel in South Styrian and Carinthian companies, preparing them to meet the new challenges and develop key competences that allow them to sell IT as a commodity, develop modern, web-based software and understand consumerism.

For more information see Value-Network Süd - IT enabled Eco Systems

Technische Universität Graz, Life Long Learning; Karl-Franzens-Universität Graz, UNI for LIFE GmbH

Further Information

The objective of this project is to define an integrated set of methods and techniques that supports a systematic “Right by Design” component-based software design approach for complex embedded systems. This ensures that incremental changes become predictable and meet the required system qualities such as performance and safety. The Allegio project addresses the following key research questions:

• How to decompose systems into components such that the global system requirements can be derived from the properties of the components? What are appropriate coherent systems views to reasons about various system qualities such as evolvability, performance and safety?
• How to define interfaces of components that enable verifiable composition, re-use, configuration management, and replacement? How to include evolvability and safety aspects and how to characterize performance in a modular way?
• How to reason about correctness aspects of large complex embedded systems. How to analyze the trade-off between system qualities early in the design process?
• How do model-based verification techniques relate to model-based testing? What is the relation between the models that are suitable for these techniques? Does the verification reduce the testing effort? Can the testing results improve the scalability of the model checking techniques?

SERG/TU Delft, Embedded Systems Institute (ESI), Philips Healthcare (iXR R&D), the University of Twente (DACS and DE), and the Eindhoven University of Technology (DAS)

In recent years, companies and government organizations have installed Software as a Service (SaaS) and Service-Oriented Systems (SOS). While services are in place and run, companies face a number of problems, basically, due to continuing growth and increasing complexity of their systems. The ReSOS project tackles these problems by means of detecting and re-engineering shortcomings in the design and implementation of service-oriented systems.
In particular, we will investigate:

• Meta-models and reverse engineering techniques for service-oriented systems
• SOS specific quality attributes and metrics
• SOS anti-pattern detection strategies
• (Semi-)automated re-factoring techniques to resolve SOS anti-patterns

TU Delft, Software Improvement Group, and KPMG CT IT