We are a leading research institution for software development and maintenance — including machines and other software-intensive systems.
Without doubt, software is at the center of innovation in the 21st century. Our institute investigates principles and methods for making software development more cost effective, transparent, and reliable. Our covers a wide area: from requirements capture, architecture and design, testing, to maintenance; including software modeling (consistency, traceability, impact of change), product line engineering and variability, requirements engineering, monitoring, and software processes. Automation plays a fundamental role to ensure that software systems engineers have the right tools.
+43 732 2468 – 4381
Johannes Kepler University Linz
Computer Science SP3
Altenberger Straße 69
Office Hours By Appointment only
Multi-View Consistency Checking
Alexander Egyed is a key research partner for Area 2
in a Multi-Tool Environment
LIT Seed Project
Reusing Software Variants? Here is how!
Simulation and Virtualization
Machines, Autonomous Vehicles, Complex Systems