research
∙
08/11/2023
Validation-Driven Development
Formal methods play a fundamental role in asserting the correctness of r...
share
research
∙
07/28/2022
Trace Refinement in B and Event-B
Traces are used to show whether a model complies with the intended behav...
research
∙
07/26/2022
Balanced Knowledge Distribution among Software Development Teams – Observations from Open-Source and Closed-Source Software Development
In software development teams, developer turnover is among the primary r...
research
∙
07/07/2022
Application of Validation Obligations to Security Concerns
Our lives become increasingly dependent on safety- and security-critical...
research
∙
05/18/2022
Formalization of Advanced VOs semantics and VO Refinement
This document lays out the foundations for VO and requirement refinement...
research
∙
05/12/2022
IVOIRE Deliverable 1.1: Classification of existing VOs tools and Formalization of VOs semantics
This report discusses the foundations of the VO approach. Then, it explo...
research
∙
04/08/2021
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems
Studies over the past decade demonstrated that developers contributing t...
research
∙
03/27/2021
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts
Consistency checking of interdependent heterogeneous engineering artifac...
research
∙
03/03/2021
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development
In this paper, we propose a recommendation approach – TaskAllocator – in...
research
∙
02/11/2021
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Traditionally, practitioners use formal methods pre-dominately for one h...
research
∙
05/27/2020
Machine Learning for Software Engineering: A Systematic Mapping
Context: The software development industry is rapidly adopting machine l...
research
∙
04/17/2020
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
This paper presents a systematic mapping study on the model-driven engin...
research
∙
08/13/2018