University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Teaching Array Verification Using Snap!

Verheijen, D. (2022) Teaching Array Verification Using Snap!

[img] PDF
460kB
Abstract:Working with arrays is a vital skill for any programmer. Functions that use arrays can be complex, making it hard to verify the correctness of the function. Program verification can be used to check the functionality of a program more thoroughly. Providing novice programmers with the knowledge to use verification techniques could greatly improve the quality of their programs. Snap! is a visual programming language tailored to high school students. In this research project, we propose a library for arrays as an extension of VerifiedSnap!. VerifiedSnap! is an extension made for Snap! that allows it to support both runtime and static verification techniques. Exercises to go along with the designed tool were designed to help teach high school students how to use arrays and verification techniques. A small empirical study was carried out to determine how useful the designed tool and exercises would be in teaching students. The results of the study are inconclusive, but suggestions to improve this in the future are described.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science, 81 education, teaching
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/91769
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page