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á的硕士论文《将形式化验证（Formal Verification）推广至主流编程语言生态系统》（Bringing Formal Verification into Widespread Programming Language Ecosystems）的组成部分。本研究的目标为调研并优化Agda2HS（Agda2HS）的可用性——该工具可将使用Agda（Agda）编写的程序转译为Haskell（Haskell）语言。本数据集内的数据均源自一项在线问卷，该问卷作为用户研究的组成部分，用于评估新增功能后的Agda2HS可用性。问卷题型包含同意-不同意式陈述题与补充开放题，旨在收集参与者对Agda2HS的使用体验与观感。参与者需在使用Agda2HS完成两项编程作业后填写本问卷。