Teaching Formal Methods in Academia: A Systematic Literature Review

[1]  Frank Ortmeier,et al.  Teaching and Training Formal Methods for Safety Critical Systems , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[2]  Ian Bayley,et al.  Teaching the oxford Brookes formal specification module , 2006, FM 2006.

[3]  Dominique Méry.  A simple refinement-based method for constructing algorithms , 2009, SGCS.

[4]  Jan Kofron,et al.  On Teaching Formal Methods: Behavior Models and Code Analysis , 2009, TFM.

[5]  Néstor Cataño.  An Empirical Study on Teaching Formal Methods to Millennials , 2017, 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials (SECM).

[6]  Gernot Salzer,et al.  Automated tools for teaching formal software verification , 2006, FM 2006.

[7]  Roussanka Loukanova,et al.  Teaching formal methods for computational linguistics at uppsala university , 2006, FM 2006.

[8]  Michael Leuschel,et al.  How to Explain Mistakes , 2009, TFM.

[9]  Ganesh Gopalakrishnan.  Formal Methods for Surviving the Jungle of Heterogeneous Parallelism , 2012, 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.

[10]  Jim Davies,et al.  Formal methods for future interoperability , 2009, SGCS.

[11]  Wolfgang Schreiner,et al.  The RISC ProofNavigator: a proving assistant for program verification in the classroom , 2009, Formal Aspects of Computing.

[12]  Kwangkeun Yi,et al.  Engaging students with theory through ACM collegiate programming contest , 2002, CACM.

[13]  Raymond T. Boute,et al.  Teaching and practicing computer science at the university level , 2009, SGCS.

[14]  Orestis Melkonian,et al.  Having Fun in Learning Formal Specifications , 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).

[15]  Steve Reeves,et al.  Teaching formal methods lite via testing , 2001, Softw. Test. Verification Reliab..

[16]  Nazareno Aguirre,et al.  An introductory course on programming based on formal specification and program calculation , 2009, SGCS.

[17]  Peter Csaba Ölveczky.  Teaching Formal Methods Based on Rewriting Logic and Maude , 2009, TFM.

[18]  Maria Spichkova,et al.  Teaching of Formal Methods for Software Engineering , 2016, ENASE.

[19]  Camilo Rueda,et al.  Teaching Formal Methods for the Unconquered Territory , 2009, TFM.