Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives

Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.

[1]  Antonio Cerone.  Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems , 2011 .

[2]  Antonio Cerone,et al.  A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems , 2016, SEFM.

[3]  Antonio Cerone,et al.  Research Challenges in Modelling Ecosystems , 2014, SEFM Workshops.

[4]  Robert L. Glass.  Loyal Opposition - New Answer to "How Important Is Mathematics to the Software Practitioner?" , 2000, IEEE Softw..

[5]  Jeannette M. Wing.  Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum , 2000, AMAST.

[6]  Eitan Farchi,et al.  Exploring the Role of Logic and Formal Methods in Information Systems Education , 2015, SEFM Workshops.

[7]  Michael Leuschel,et al.  An Approach for Creating Domain Specific Visualisations of CSP Models , 2014, SEFM Workshops.

[8]  Alan J. Dix.  Human-Computer Interaction , 2018, Encyclopedia of Database Systems.

[9]  Gregory D. Abowd,et al.  Human-Computer Interaction. Second Edition. , 1998 .

[10]  Jeannette M. Wing.  Teaching Mathematics to Software Engineers , 1995, AMAST.

[11]  Michael R. Clarkson,et al.  Formal Methods Application: An Empirical Tale of Software Development , 2002, IEEE Trans. Software Eng..

[12]  Michael R. Clarkson,et al.  Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'" , 2003, IEEE Trans. Software Eng..

[13]  Nicolas Stouls,et al.  When a Formal Model Rhymes with a Graphical Notation , 2014, SEFM Workshops.

[14]  Bernhard Beckert,et al.  A Usability Evaluation of Interactive Theorem Provers Using Focus Groups , 2014, SEFM Workshops.