Dataset for Paper: Model Transformation and Property Preservation in Rigorous Software Development: a Systematic Literature Review

This folder includes the Dataset, Data Classification Schema, and Thematic Analysis for the paper "Model Transformation and Property Preservation in Rigorous Software Development: a Systematic Literature Review."

This research examines existing studies to identify common techniques, tools, and challenges associated with preserving  properties during model transformations. The findings highlight the importance of formal methods and verification techniques in ensuring that the integrity of the software's properties is not compromised during the transformation process. The study contributes to the broader understanding of how rigorous approaches in software development can be enhanced by focusing on property preservation during model transformations, ultimately leading to more reliable and robust software systems.