Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems

This is the dataset containing the results from the user study questionnaire conducted at the TU Delft as part of the Master Thesis "Bringing Formal Verification into Widespread Programming Language Ecosystems" by Sára Juhošová. The objective of the research was to investigate and improve the usability of a Agda2HS, a tool for transpiling programs written in Agda into Haskell. The data within this dataset was collected through an online form as part of the user study designed to evaluate the usability of Agda2HS after new features were added. The questions were a mixture of Agree-Disagree statements and supplementary open questions, directed at the participants' experience and impressions of Agda2HS. The participants filled in this questionnaire after implementing two programming assignments using Agda2HS.本数据集收录代尔夫特理工大学（TU Delft）开展的用户研究问卷结果，该研究是Sára Juhošová硕士论文"Bringing Formal Verification into Widespread Programming Language Ecosystems"的组成部分。本研究的核心目标为调研并优化Agda2HS的可用性——该工具用于将使用Agda编写的程序转译为Haskell语言。本数据集内的全部数据均通过在线问卷收集，该调研旨在评估新增功能上线后Agda2HS的可用性，属于前述用户研究的一部分。问卷题目涵盖同意-不同意型陈述题与补充开放式问题，用于采集参与者对Agda2HS的使用体验与使用观感。所有参与者均在使用Agda2HS完成两项编程作业后填写了本问卷。