Teaching Formal Methods: An Experience Report-Reference-Cited by-同舟云学术

Teaching Formal Methods: An Experience Report

Published:2020 Issue: Volume: Page:3-18
ISSN:0302-9743
Container-title:Frontiers in Software Engineering Education
language:
Short-container-title:

Author:

Askarpour Mehrnoosh^ORCID,Bersani Marcello M.^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-57663-9_1

Reference59 articles.

1. Abrial, J.R.: Teaching formal methods: an experience with event-B (invited speaker’s extended abstract). In: Formal Methods in Computer Science Education, p. 1 (2008)

2. Aceto, L., Ingólfsdóttir, A., Larsen, K.G., Srba, J.: Teaching concurrency: theory in practice. In: Proceedings of the Inernational Conference on TFM, pp. 158–175 (2009)

3. Ahrendt, W., Bubel, R., Hähnle, R.: Integrated and tool-supported teaching of testing, debugging, and verification. In: Proceedings of the International Conference on TFM, pp. 125–143 (2009)

4. Lecture Notes in Computer Science;AA Almeida,2019

5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Teaching Object-Oriented Requirements Techniques: An Experiment;Agents and Multi-agent Systems: Technologies and Applications 2023;2023

2. Impact of Learning Style based Teaching on Students Performance in a Formal Methods Course for Computer Scientists;2022 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE);2022-12

3. Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper);Formal Methods Teaching;2021