Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
doi: 10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7
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.
- 2023-06-20 first online
- 2023-06-21 published, posted
DATA
- 1,349 bytesMD5:
676751f2592a7a11fa375bd66853becf
README.md - 13,982 bytesMD5:
5357ab35a7debab095588cb8dea09b5b
results.xlsx -
download all files (zip)
15,331 bytes unzipped