De ontwikkeling en het beheer van software-intensieve systemen vereist expertise op hoog niveau en een fijnmazig netwerk van interacties tussen complementaire disciplines, met name software engineering, computerwetenschappen en informatiemanagement.

NADI bevordert wetenschappelijk onderzoek in en tussen deze disciplines en streeft ernaar de kloof tussen deze disciplines te verkleinen. Het instituut brengt een breed scala aan internationaal erkende expertise samen die de gehele levenscyclus van softwareontwikkeling bestrijkt - van eisen-engineering en modellering tot testen en evolutie. Het houdt rekening met een verscheidenheid aan softwaresysteemartefacten, waaronder mens-machine-interfaces, eisenspecificaties, softwarearchitecturen, variabiliteitsmodellen, structurele en gedragsmodellen, broncode, databases, toegangscontrolemodellen of forumdiscussies in natuurlijke taal.

NADI-onderzoekers hebben recentelijk verschillende onderwerpen bestudeerd met betrekking tot software- en systeemengineering en -beheer: AI en aanbevelingstechnieken voor software engineering; softwareproductlijnen voor configuratiebeheer; mutatietesten, statische programma-analyse voor de detectie van duplicatie van code en plagiaat; repository mining en programma-analyse voor kwaliteitsbeoordeling; database-evolutie en herconfiguratie in hybride polystores; blockchain voor inter-organisationele processen; adaptieve, multimodale en tastbare interface-ontwikkeling, augmented reality; en programmeer- en softwareontwikkelingsonderwijs.

NADI-leden leveren niet alleen wetenschappelijke bijdragen en industriële samenwerkingen op hun vakgebied, maar dragen ook regelmatig bij aan het opbouwen van een meer inclusieve (digitale) samenleving. De projecten Silverkit en SSL zijn gericht op het ontwerpen van software die zich automatisch kan aanpassen aan oudere gebruikers. Het SILENT-project heeft als doel een interactief online woordenboek van Franse gebarentaal en Frans-Belgische gebarentaal te bouwen voor gebruik door taalkundigen, tolken, vertalers, leraren en taalleerders. Het SQLFast-project is gericht op het ontwikkelen van hulpmiddelen, methoden en casestudies, waarbij gebruik wordt gemaakt van databasetheorieën en -technologieën om problemen op te lossen. Deze hulpmiddelen zijn vooral gericht op niet-professionele IT-gebruikers, die te maken hebben met complexe problemen op het gebied van gegevensverzameling, -opslag, -verwerking en -presentatie. Als onderdeel van het VeriLearn-project bestuderen NADI-onderzoekers belangrijke maatschappelijke kwesties met betrekking tot het gebruik van machinaal leren op verschillende gebieden. In samenwerking met de KULeuven stelden ze bijvoorbeeld onlangs een kader voor om de eerlijkheid van deep learning-algoritmen te verbeteren met betrekking tot bepaalde gevoelige attributen (geslacht, huidskleur, enz.) terwijl hun prestaties behouden blijven. De bovenstaande bijdragen illustreren de interdisciplinaire aard van het werk dat wordt uitgevoerd in het kader van NADI.

• V. Amaral De Sousa, C. Burnay. Towards an integrated methodology for the development of blockchain-based solutions supporting cross-organizational processes. In Proc. van RCIS 2019: 1-6.
• V. Amaral De Sousa, C. Burnay, M. Snoeck. B-MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Blockchain-Based Information Systems. In Proc. of CAiSE 2020: 117-133.
• M. Belarbi, V. Englebert. Bespoke: een methode om softwarefabrieken te ontwerpen. Een voorlopige benadering. In Proc. of RCIS 2019: 1-6.
• A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin, J. F. (2010). Model checking lots of systems: efficiënte verificatie van temporele eigenschappen in softwareproductlijnen. In Proc. of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1 (pp. 335-344). Most Influential Paper Award 2020.
• M. Cronel, B. Dumas, P. Palanque, and A. Canny. MIODMIT: een generieke architectuur voor dynamische multimodale interactieve systemen. 2018, pp. 109--129.
• P. Delobelle P. Tempel, G. Perrouin, B. Frénay, P. Heymans, B. Berendt. Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. 1st Workshop on Bias and Fairness in Machine Learning @ECML-PKDD 2020.
• P. Derakhshanfar, X. Devroey, G. Perrouin, A. Zaidman, A. van Deursen. Search-based crash reproduction using behavioural model seeding. Software Testing, Verification and Reliability. 2020 May ;30(3):e1733.
• X. Devroey, G. Perrouin, M. Papadakis, A. Legay, P.-Y. Schobbens en P. Heymans. Aanbevolen modelgebaseerde mutatieanalyse. In Proc. of the 38th International Conference on Software Engineering (ICSE 2016), pp. 655-666.
• C. Duarte, S. Desart, D. Costa en B. Dumas. Designing multimodal mobile interaction for a text messaging application for visually impaired users, Frontiers in ICT, vol. 4, p. 26, 2017.
• B. Duhoux, K. Mens en B. Dumas. Feature visualiser: Een inspectietool voor contextgeoriënteerde programmeurs. In Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (pp. 15-22), 2018.
• B. Dumas, J. Pirau, en D. Lalanne. Modelling fusion of modalities in multimodal interactive systems with MMMM, 2017, pp. 288--296.
• J. Fink, M. Gobert, en A. Cleve. Queries aanpassen aan veranderingen in databaseschema's in hybride polystores. In Proc. van de 20e IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). NIER-track. IEEE Computer Society Press, 2020. Best paper award 2020.
• J.-M. Jacquet, en M. Barkallah, Scan: Een eenvoudige coördinatiewerkbank. Proceedings of the 21st Conference on Coordination Models and Languages, Lecture Notes in Computer Science, vol. 11533, pp. 75-91, 2019.
• I. Jureta. What Happens to Intentional Concepts in Requirements if Intentional States Cannot Be Known? In Proc. of ER 2017: 209-222.
• A. Koshima, V. Englebert, M. Amrani, A. Debieche, A. Wakjira. A Model-Driven Engineering Approach for the Well-Being of Ageing People. In ER Workshops 2016: 21-29.
• C. Libert en W. Vanhoof. Analyse van de vooroordelen van studenten over concurrency. In EASEAI 2019. In Proceedings of the 1st ACM SIGSOFT International Workshop in Education through Advanced Software Engineering and Artificial Intelligence, ACM Press, pp. 9-12.
• L. Meurant, M. Gobert, A. Cleve: Modelling a Parallel Corpus of French and French Belgian Sign Language. In Proc. of LREC 2016.
• L. Meurice, C. Nagy, and A. Cleve. Statische analyse van dynamisch databasegebruik in Java-systemen. In Proc. of the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), LNCS 9694, pp 491--506. Springer, 2016.
• L. Meurice, C. Nagy, and A. Cleve. Detecting and Preventing Program Inconsistencies under Database Schema Evolution. In Proc. of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016), pp 262--273. IEEE Computer Society, 2016. }{Best paper award 2016.
• F. Mesnard, E. Payet, W. Vanhoof. Naar een raamwerk voor algoritmeherkenning in binaire code. In Principes en praktijk van declaratief programmeren 2016, Edinburgh, Verenigd Koninkrijk. ACM Press, pp. 202-213.
• P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: Een overzicht en een formele semantiek. 14e IEEE Internationale Requirements Engineering Conferentie (RE'06). IEEE, 2006. Most Influential Paper Award 2016
• P. Temple, G. Perrouin, M. Acher, B. Biggio, J.-M. Jézéquel, F. Roli, Empirical Assessment of Generating Adversarial Configurations for Software Product Lines, Empirical Software Engineering Journal, To appear, Springer.
• G. Yernaux, W. Vanhoof en L. Schumacher. Moulinog: Een generator van willekeurige studentenopdrachten geschreven in Prolog. In Principes en praktijk van declaratief programmeren 2020, ACM Press.
• G. Yernaux en W. Vanhoof. Anti-unificatie in logisch programmeren met beperkingen. In Theorie en praktijk van logisch programmeren, 19(5-6):773-789, 2019.

• DISSE - Data-Intensive Software System Evolution, 2013-2017.
• IDEES - Het internet van morgen, 2017-2020.
• INSTINCT - Improving Database Interactions in NoSQL Applications, 2020-2024
• SECO-ASSIST - Automated Assistance for Developing Software in Ecosystems of the Future, 2018-2022.
• SILENT - Naar een online contextueel woordenboek van LSFB-Frans, 2018-2021.
• SILVERKIT - Zelfaanpassende software voor oudere gebruikers, sinds 2018.
• SSL -- Smart Socialized Living, 2020-2022.
• TYPHON - Polyglot and Hybrid Persistence Architectures for Big Data Analytics, 2017-2020
• VERILEARN - Verifying Learning Artificial Intelligence Systems, 2018-2022