#### EMIP'19 Workshop Paper

G. Simhandl, P. Paulweber, and U. Zdun. Design of an Executable Specification Language Using Eye Tracking. In 6th International Workshop on Eye Movements in Programming, EMIP 2019, Montreal, Canada, 27th May, 2019.
##### Abstract

Increasingly complex systems require powerful and easy to understand specification languages. In course of the design of an executable specification language based on the Abstract State Machines formalism we performed eye-tracking experiments to understand how newly introduced language features are comprehended by language users. In this preliminary study we carefully recruited nine engineers representing a broad range of potential users. For recording eye-gaze behavior we used Pupil Labs eye-tracking headset. An example specification and simple comprehension tasks were used as stimuli. The preliminary results of the eye-gaze behavior analysis reveal that the new language feature was understood well, but the new abstractions were frequently confused by participants. The foreknowledge of specific programming concepts is crucial how these abstractions are comprehended. More research is needed to infer this knowledge from viewing patterns.

##### BibTex
@Comment{ refnotes, namespace = "cite" }
@inproceedings{simhandl2019emip,
title     = {{D}esign of an {E}xecutable {S}pecification {L}anguage {U}sing {E}ye {T}racking},
author    = {Simhandl, Georg and Paulweber, Philipp and Zdun, Uwe},
booktitle = {6th International Workshop on Eye Movements in Programming, EMIP 2019},
year      = {2019},
}