Data and software engineering

Methods for analyzing and verifying the reliability of software systems, representation and retrieval of information and its summarization, and presentation for decision-making purposes.

The Reliable Software Architectures research group (ReliSA) focuses on methods and models which help specify, analyse and verify software architectures with high complexity and/or quality requirements.

Creating software which works reliably requires the combination of multiple software engineering approaches, ranging from the “soft” methods to the fundamental “engineering” techniques. Our main strengths are component-based systems, software simulations and practical expertise in software development processes. We have a proven track of national and international research projects, close links with leading European groups and collaboration with industrial partners.