Adapting to Different Types of Target Audience in Teaching Formal Methods

[1]  Antonio Cerone.  Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning , 2018, STAF Workshops.

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

[3]  João Fernando Ferreira,et al.  The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks , 2014, ITiCSE '14.

[4]  C. Newcombe,et al.  How Amazon web services uses formal methods , 2015, Commun. ACM.

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

[6]  Jun Sun,et al.  Integrating Specification and Programs for System Modeling and Verification , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

[7]  Antonio Cerone,et al.  Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude , 2019, FM Workshops.

[8]  Antonio Cerone,et al.  Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study , 2018, STAF Workshops.

[9]  Nancy G. Leveson,et al.  A new accident model for engineering safer systems , 2004 .

[10]  Antonio Cerone.  Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives , 2016, STAF Workshops.

[11]  Antonio Cerone.  From Stories to Concurrency: How Children Can Play with Formal Methods , 2021 .

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

[13]  Narciso Martí-Oliet,et al.  The Maude 2.0 System , 2003, RTA.

[14]  João Fernando Ferreira,et al.  Open and Interactive Learning Resources for Algorithmic Problem Solving , 2019, FM Workshops.

[15]  Roberto Nardone,et al.  A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods , 2018, ISoLA.

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

[17]  Antonio Cerone,et al.  An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning , 2019, FM Workshops.

[18]  Peter Csaba Ölveczky.  Designing Reliable Distributed Systems , 2017, Undergraduate Topics in Computer Science.

[19]  Li Da Xu,et al.  Industry 4.0: state of the art and future trends , 2018, Int. J. Prod. Res..

[20]  Timothy C. Bell,et al.  A low-cost high-impact computer science show for family audiences , 2000, Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518).

[21]  Antonio Cerone,et al.  Behaviour and Reasoning Description Language (BRDL) , 2019, SEFM Workshops.

[22]  Sophie Quinton.  Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools , 2018, FMICS.

[23]  Alan H. Schoenfeld,et al.  Mathematical Problem Solving , 1985 .

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

[25]  Peter Hilton.  The Mathematical Component of a Good Education , 1991 .

[26]  Jun Sun,et al.  Model Checking CSP Revisited: Introducing a Process Analysis Toolkit , 2008, ISoLA.

[27]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[28]  Mogens Nielsen,et al.  The RAISE language, method and tools , 2005, Formal Aspects of Computing.

[29]  M. Ascher.  A River-Crossing Problem in Cross-Cultural Perspective. , 1990 .

[30]  Ali E. Abdallah,et al.  Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers , 2005, 25 Years CSP.

[31]  Antonio Cerone,et al.  Formal Methods for Software Engineering: Languages, Methods, Application Domains , 2022, Texts in Theoretical Computer Science. An EATCS Series.

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