Preliminary Study to Empirically Investigate the

This paper presents a pilot study to test plans for an empirical study, which will compare the comprehensibility of two specifications: a formal specification and an informal specification. The two documents used in the pilot study implemented the same logic, namely a portion of the Irish Electoral system