Evolving high-quality software throughout its lifetime
The Software Engineering and Technology (SET) Group at Eindhoven University of Technology (TU/e) researches software engineering, with a strong focus on theory, methods and tools for maintaining consistency between models and code. SET recognizes the importance of legacy systems as well as state-of-the-art development methodologies such as model-driven software development involving formal models, domain-specific modeling and generic tooling. For this reason, investigations are not limited to recent software development phenomena, but also focus on various other topics such as software migration, re-engineering and reuse.
Read moreMeet some of our Researchers
News
![[Translate to English:] [Translate to English:]](https://assets.w3.tue.nl/w/fileadmin/_processed_/b/0/csm_Ochoa%20Venegas%20Banner%20image%20monsitj_6a8834f33f.jpg)
March 31, 2023
Break the Code? Breaking Changes and Their Impact on Software Evolution
Lina Ochoa Venegas defended her PhD thesis cum laude at the department of Mathematics and Computer Science on March 29th.
Read more
![](https://assets.w3.tue.nl/w/fileadmin/_processed_/2/1/csm_20230317_Kochanthara2_9c06facd8e.jpg)
March 30, 2023
Improving the safety of next-generation software for self and connected driving
Sangeeth Kochanthara defended his PhD thesis at the department of Mathematics and Computer Science on March 17th.
Read more
More news
![Alexander Serebrenik. Photo: Bart van Overbeeke](https://assets.w3.tue.nl/w/fileadmin/_processed_/e/e/csm_BvOF%202022_0713_ADH%20-%20Alexander%20Serebrenik_5f5331b349.jpg)
‘Computer says no’ is no longer a valid argument
November 4, 2022
![](https://assets.w3.tue.nl/w/fileadmin/_processed_/5/0/csm_Hammad%20Banner%20image%20Muhammad%20Hammad_499b532967.jpg)
Visualization and Learning Applications of Code Clones
September 8, 2022
![Image: Shutterstock](https://assets.w3.tue.nl/w/fileadmin/_processed_/e/8/csm_shutterstock_749944747_30d35ea83e.jpg)
Creating tools to open up programming languages to multiple users
April 28, 2022
![Model Checking is used to verify controllers at CERN](https://assets.w3.tue.nl/w/fileadmin/_processed_/9/6/csm_2046228644_05507000b3_c_9eb51f7f45.jpg)
Making bug-checking in software and hardware design cheaper and more efficient
March 14, 2022
Recent Publications
Our most recent peer reviewed publications
-
Transformers and Meta-Tokenization in Sentiment Analysis for Software Engineering
Empirical Software Engineering (2024) -
Certified SAT solving with GPU accelerated inprocessing
Formal Methods in System Design (2024) -
Communicating Study Design Trade-offs in Software Engineering
ACM Transactions on Software Engineering and Methodology (2024) -
Evaluating Open-source tools for heterogeneous model-based digital twin development: a micro-brewery case study
(2024) -
A systematic review on food recommender systems
Expert Systems with Applications (2024)
Our prizes and grants
Contact
-
Visiting address
MetaforumGroene Loper 55612 AP EindhovenNetherlands -
Postal address
Department of Mathematics and Computer Science5600 MB EindhovenNetherlands -
Teamleadm.r.v.chaudron@ tue.nl