71 citations · 169 across the 19 of their papers we have counts for
6 papers · 1 filter
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
Hui Gao, Hongyu Kuang, Kexin Sun +6
Traceability approves trace links among software artifacts based on whether two artifacts are related by system functionalities. The traces are valuable for software development, b…
Trace Refinement in B and Event-B
Sebastian Stock, Atif Mashkoor, Michael Leuschel +1
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement…
Balanced Knowledge Distribution among Software Development Teams -- Observations from Open-Source and Closed-Source Software Development
Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor +1
In software development teams, developer turnover is among the primary reasons for project failures as it leads to a great void of knowledge and strain for the newcomers. Unfortuna…
Application of Validation Obligations to Security Concerns
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validat…
Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Geleßus +3
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, Atif Mashkoor +2
This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.