• Mishra A and Mustafa K. (2023). Security requirements specification by formal methods: a research metadata analysis. Multimedia Tools and Applications. 10.1007/s11042-023-17218-4. 83:14. (41847-41866).

    https://link.springer.com/10.1007/s11042-023-17218-4

  • Ahmad H, Karas Z, Diaz K, Kamil A, Jeannin J and Weimer W. How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. Proceedings of the 45th International Conference on Software Engineering. (208-220).

    https://doi.org/10.1109/ICSE48619.2023.00029

  • Bruel J, Ebersold S, Galinier F, Mazzara M, Naumchev A and Meyer B. (2021). The Role of Formalism in System Requirements. ACM Computing Surveys. 54:5. (1-36). Online publication date: 30-Jun-2022.

    https://doi.org/10.1145/3448975

  • Ölveczky P. Teaching Formal Methods to Undergraduate Students Using Maude. Rewriting Logic and Its Applications. (85-110).

    https://doi.org/10.1007/978-3-031-12441-9_5

  • Runge T, Bordis T, Thüm T and Schaefer I. Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience. Formal Methods Teaching. (101-116).

    https://doi.org/10.1007/978-3-030-91550-6_8

  • Lestingi L. Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). Formal Methods Teaching. (75-83).

    https://doi.org/10.1007/978-3-030-91550-6_6

  • Wang R, Liu S and Sato Y. SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. IEEE Transactions on Reliability. 10.1109/TR.2021.3078714. 70:3. (1053-1070).

    https://ieeexplore.ieee.org/document/9442357/

  • Pal N, Yadav M and Yadav D. (2021). Modeling and Verification of Web Services Composition Using CWB-NC Tool 2021 2nd International Conference for Emerging Technology (INCET). 10.1109/INCET51464.2021.9456275. 978-1-7281-7029-9. (1-6).

    https://ieeexplore.ieee.org/document/9456275/

  • Westphal B. (2021). On Education and Training in Formal Methods for Industrial Critical Systems. Formal Methods for Industrial Critical Systems. 10.1007/978-3-030-85248-1_6. (85-103).

    https://link.springer.com/10.1007/978-3-030-85248-1_6

  • Ölveczky P. (2021). Teaching Formal Methods for Fun Using Maude. Formal Methods – Fun for Everybody. 10.1007/978-3-030-71374-4_3. (58-91).

    https://link.springer.com/10.1007/978-3-030-71374-4_3

  • Khazeev M, Aslam H, de Carvalho D, Mazzara M, Bruel J and Brown J. Reflections on Teaching Formal Methods for Software Development in Higher Education. Frontiers in Software Engineering Education. (28-41).

    https://doi.org/10.1007/978-3-030-57663-9_3

  • Korečko Š. Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. Composability, Comprehensibility and Correctness of Working Software. (98-135).

    https://doi.org/10.1007/978-3-031-42833-3_4

  • Davis J and Rebelsky S. Developing Soft and Technical Skills Through Multi-Semester, Remotely Mentored, Community-Service Projects. Proceedings of the 50th ACM Technical Symposium on Computer Science Education. (29-35).

    https://doi.org/10.1145/3287324.3287508

  • Korečko Š and Sorád J. Using Simulation Games in Teaching Formal Methods for Software Development. Innovative Teaching Strategies and New Learning Paradigms in Computer Programming. 10.4018/978-1-4666-7304-5.ch006. (106-130).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-7304-5.ch006

  • Garcia I and Pacheco C. (2014). Using TSPi and PBL to support software engineering education in an upper-level undergraduate course. Computer Applications in Engineering Education. 22:4. (736-749). Online publication date: 1-Dec-2014.

    https://doi.org/10.1002/cae.21566

  • Wang X, Liu S and Miao H. A pattern system to support refining informal ideas into formal expressions. Proceedings of the 12th international conference on Formal engineering methods and software engineering. (662-677).

    /doi/10.5555/1939864.1939918

  • Liu S. (2009). An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations in Systems and Software Engineering. 10.1007/s11334-009-0114-3. 6:1-2. (137-143). Online publication date: 1-Mar-2010.

    http://link.springer.com/10.1007/s11334-009-0114-3

  • Wang X, Liu S and Miao H. (2010). A Pattern System to Support Refining Informal Ideas into Formal Expressions. Formal Methods and Software Engineering. 10.1007/978-3-642-16901-4_43. (662-677).

    http://link.springer.com/10.1007/978-3-642-16901-4_43