Projecten per jaar
Organisatieprofiel
Introductie / missie
The objective of the Software Engineering and Technology group is to develop methods and tools for time- and cost-efficient evolution of high-quality software systems: from inception, through development and maintenance, to phase-out.
Highlighted phrase
Evolving high-quality software throughout its lifetime
Over de organisatie
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. Under the guidance of Chair Michel Chaudron, 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.
In SET’s vision, it is of the utmost importance to integrate the daily software development practice with cutting-edge research and high-profile education. SET welcomes collaboration with industrial and academic partners to foster a better understanding of the nature of software and software-related processes.
SET research is organized around the following themes:
- Theory, methods and tools for model-driven software engineering
The goal is to increase product quality and reduce development costs. Both can be achieved through automated analysis of models, re-use of developed models, reduction of maintenance, and application of software generation tools. Topics addressed are: generation of code from models, reconstruction of models from code, and analysis and transformation of models and code. Domain specific languages also play an important role.
- Software evolution and maintenance
This area focuses on maintenance and evolution of existing software systems as opposed to development of new ones. As a research domain, software evolution aims to obtain insights into how and why software evolves, whilst also translating those insights into techniques for assessing system evolvability and facilitating evolution. Given the fact that software evolution is an activity carried by humans, software evolution research also considers social and socio-technical challenges on top of technological challenges. In particular, we focus on social and technical aspects of diversity. The lion’s share of software evolution research is empirical in nature, i.e., it considers software engineering artifacts such as source code, questions on StackOverflow, code reviews and issue reports as data. - Human and social aspects of software engineering
As software is being developed by humans, their background, the ways they communicate and collaborate influences how software is being developed (the software process) as well as the software itself (the software product). As a research domain, studies of human and social aspects of software engineering cover a broad range of topics related to psychological, emotional, cognitive, and human-centric aspects of software development, whether at the levels of individual, pair, group, team, organization, or community. In particular, we focus on social, socio-technical and technical aspects of communication and collaboration in software teams. The lion’s share of our research is empirical in nature, i.e., it is based on observing behavior of software developers or artefacts they create, and analysing the observations by quantitative and qualitative methods.
Vingerafdruk
Netwerk
Profielen
-
Rodin Aarssen, MSc
- Mathematics and Computer Science, Formal System Analysis - Promovendus
- Mathematics and Computer Science, Software Engineering and Technology - Promovendus
Persoon: Prom. : Promovendus
-
INTERSECT: NWA.1160.18.301 An Internet of Secure Things - INTERSECT (SENS)
Weffers, H., Etalle, S., Kempinski, S. P., Luyk, M., Bibi, I., Meratnia, N., Özçelebi, T., Hatefi, Z., van den Brand, M. G. J. & Kurtev, I.
1/09/20 → 31/08/28
Project: Onderzoek direct
-
GEARS: GPU Enabled Accelerated Reasoning about System designs
11/08/17 → 31/01/22
Project: Onderzoek direct
-
A Changing Landscape: On Safety & Open Source in Automated and Connected Driving
Kochanthara, S., 17 mrt. 2023, Eindhoven: Eindhoven University of Technology. 189 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand -
A GPU Tree Database for Many-Core Explicit State Space Exploration
Wijs, A. & Osama, M., 2023, TACAS (1). blz. 684-703 20 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
A Graph Database Design for Multi-Domain Model Management
Ibrahim, M., 25 jan. 2023, Eindhoven: Technische Universiteit Eindhoven. 58 blz.Onderzoeksoutput: Scriptie › EngD Thesis
Open AccessBestand
Datasets
-
Dataset of the paper "Self-Admitted Technical Debt Practices: A Comparison Between Industry and Open-Source"
Zampetti, F. (Bijdrager), Fucci, G. (Bijdrager), Serebrenik, A. (Bijdrager) & Di Penta, M. (Bijdrager), Zenodo, 6 jul. 2021
Dataset
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. J. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020
DOI: 10.6084/m9.figshare.11876688
Dataset
-
ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
Mahmoud, M. O. (Ontwerper), Zenodo, 26 jul. 2021
Dataset
Prijzen
-
ACM ICPC European Founders Award
Verhoeff, Tom (Ontvanger), mrt. 2004
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
-
Amazon Research Award: Many-Core Acceleration of State Space Construction and Analysis
Wijs, Anton J. (Ontvanger), 22 apr. 2022
Prijs: Anders › Beurzen › Wetenschappelijk
-
Best Emerging Results Paper Award
Rodriguez Perez, Gema (Ontvanger), Zaidman, Andy (Ontvanger), Serebrenik, Alexander (Ontvanger), Robles, Gregorio (Ontvanger) & González-Barahona, J.M. (Ontvanger), 11 okt. 2018
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
Activiteiten
-
Can Stack Overflow Posts Capture Library Features?
Camilo Velázquez-Rodríguez (Spreker), Eleni Constantinou (Deelnemer) & Coen De Roover (Deelnemer)
4 dec. 2020Activiteit: Types gesprekken of presentaties › Aangemelde presentatie › Wetenschappelijk
-
Second International Workshop on Analytics and Mining of Model Repositories (AMMoRe)
Önder Babur (Voorzitter), Loek G.W.A. Cleophas (Voorzitter), Michel R.V. Chaudron (Voorzitter), Ludovico Iovino (Voorzitter) & Dimitris Kolovos (Voorzitter)
16 okt. 2020Activiteit: Types deelname aan of organisatie van een evenement › Workshop, seminar, cursus of expositie › Wetenschappelijk
-
International Conference on Systems Modelling and Management
Önder Babur (Voorzitter), Joachim Denil (Voorzitter) & Birgit Vogel-Heuser (Voorzitter)
25 jun. 2020 → 26 jun. 2020Activiteit: Types deelname aan of organisatie van een evenement › Congres › Wetenschappelijk
Knipsels
-
How to “Sell” Ethics (Using AI): An Interview With Alexander Serebrenik
29/04/23
1 Mediabijdrage
Pers / media: Vakinhoudelijk commentaar
-
-
Jaarlijkse belasting begonnen, Belastingdienst voert intussen een race tegen de klok
1/03/23
1 item van Media-aandacht
Pers / media: PR activiteiten
Scripties/Masterproeven
-
Actionable Insights from Software Behavior Model Comparisons for Software Changes in High-Tech Systems
Auteur: Aksakal, B., 27 jun. 2022Begeleider: Serebrenik, A. (Afstudeerdocent 1), Hendriks, D. (Externe coach), Yang, N. (Afstudeerdocent 2) & Oortwijn, W. (Externe persoon) (Externe coach)
Scriptie/Masterproef: Master
Bestand -
A data-driven approach for generating insights into software development
Auteur: Rexhepi, N., 25 sep. 2017Begeleider: Kaymak, U. (Afstudeerdocent 1), Wilbik, A. (Afstudeerdocent 2), Serebrenik, A. (Afstudeerdocent 2), Geritz, E. (Externe persoon) (Externe coach) & Kabel, M. (Externe persoon) (Externe coach)
Scriptie/Masterproef: Master
Bestand -
Adding Formal Specifications to a Legacy Code Generator
Auteur: Derasari, R., 16 nov. 2021Begeleider: Kurtev, I. (Afstudeerdocent 1), Alberts, W. (Externe coach) & Sidorova, N. (Afstudeerdocent 2)
Scriptie/Masterproef: Master
Bestand