Ziel des Projekts ist die Entwicklung eines Tools zur Extraktion und Klassifikation von Aenderungen in der Implementierung von Microservices, insbesondere Microservices, die mit node.js und Angular implementiert worden sind. Im ersten Schritt wird ein Parser entwickelt, der Typescript Code parsen kann. Im nächsten Schritt werden wir unseren IJM Ansatz erweitern, um Änderungen im Source Code zu extrahieren. Im dritten Schritt werde wir Regeln implementiert, welche die extrahierten Änderungen verlinken und klassifizieren. Hierbei werden wir unsere Taxonomy für die Klassifizierung von Änderungen in Java Code angepassen bzw. erweitern. Im letzten Schritt werden wir unsere Lösungen in einer empirischen Studie mit einer Menge von Open-Source Projekten evaluieren.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
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.
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
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
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.
Allegio: Composable Embedded Systems for Healthcare
Univ.-Prof. Dipl.-Ing. Dr. Martin Pinzger
Martin Pinzger, Nicolas Dintzner, and Arie van Deursen
March 2011 - 2015
ICTRegie FES COMMIT
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)
ReSOS: Re-engineering Service-Oriented Systems
Univ.-Prof. Dipl.-Ing. Dr. Martin Pinzger
Martin Pinzger, Arie van Deursen, Daniele Romano, Joost Visser, Eric Bouwers, Joost Koedijk, Yaroslav Usenko, Erwin Reinhoud
November 2010 - 2014
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