12 citations · 29 across the 10 of their papers we have counts for
9 papers · 1 filter
Validation-Driven Development
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying…
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems
Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor +2
Studies over the past decade demonstrated that developers contributing to open source software systems tend to self-organize in "emerging" communities. This latent community struct…
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Consistency checking of interdependent heterogeneous engineering artifacts, such as requirements, specifications, and code, is a challenging task in large-scale engineering project…
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn +1
In this paper, we propose a recommendation approach -- TaskAllocator -- in order to predict the assignment of incoming tasks to potential befitting roles. The proposed approach, id…
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- vali…
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
Atif Mashkoor, Alexander Egyed, Robert Wille
This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems. Integrated modeling and development of both safety and se…