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

doi:10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7
Datacite citation style:
Juhošová, Sára (2023): Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems. Version 2. 4TU.ResearchData. dataset. https://doi.org/10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
choose version:
version 2 - 2023-06-21 (latest)
version 1 - 2023-06-20

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.

history
  • 2023-06-20 first online
  • 2023-06-21 published, posted
publisher
4TU.ResearchData
format
*.xlsx
organizations
TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science

DATA

files (2)