REFSQ 2023
Mon 17 - Thu 20 April 2023 Barcelona, Spain

[Context and motivation] To formulate a formal require- ment in a natural language with a restricted English Grammar, such as the pattern language of Konrad and Cheng, give us the possibility to combine human intuition and the rigour of a machine. [Question / problem] The question arises to what extent the intuitive understanding of such a requirement is correct. [Principal ideas / results] We present an empirical study to address this question. The existence of a formal semantics allows us to use the machine as an objective judge to decide when the intuitive understanding is correct. Both, the requirement and the behaviour have a machine representation, and an algorithm exists to decide whether the behaviour satisfies the requirement. Thus, we only have to compare the decision of each participant in the study with the algorithmic decision. The study confirms empirically the practical usefulness of formal pattern languages in that the intuitive understanding matches the formal semantics in the general cases. The study reveals that a number of phrases of interest represent critical border cases where even a prior exposure to formal logics is not a guarantee for the correct intuitive understanding. [Contribution] We start what we hope will be a longer series of investigations of the match between intuitive understanding and formal semantics for classes of requirements that have both.

Tue 18 Apr

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30
Session R1 - Requirements Communication and Conceptualization IResearch Papers at Sitges
Chair(s): Jennifer Horkoff Chalmers and the University of Gothenburg
Scientific evaluation
Supporting Shared Understanding in Asynchronous Communication Contexts
Research Papers
P: Lukas Nagel Leibniz University Hannover, A: Oliver Karras TIB - Leibniz Information Centre for Science and Technology, A: Seyed Mahdi Amiri Leibniz University Hannover, A: Kurt Schneider Leibniz Universit├Ąt Hannover, Software Engineering Group, D: Elisabeth Henkel University Freiburg
Scientific evaluation
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language
Research Papers
P: Elisabeth Henkel University Freiburg, A: Nico Hauff University Freiburg, A: Lukas Eber Albert-Ludwigs-Universitaet Freiburg, A: Vincent Langenfeld University of Freiburg, A: Andreas Podelski University of Freiburg, D: Lukas Nagel Leibniz University Hannover
File Attached