Does learning by doing have a positive impact on teaching model checking?-Reference-Cited by-同舟云学术

Does learning by doing have a positive impact on teaching model checking?

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence - EASEAI 2019
language:
Short-container-title:

Author:

Vescan Andreea¹

Affiliation:

1. Babes-Bolyai University, Romania

Publisher

ACM Press

Reference22 articles.

1. Searching for Scientific Journal Articles module Academic Skills Support Resources. accessed 2019. Library, University of Guelph. https://www.lib.uoguelph. ca/sites/default/files/student_worksheet.pdf.

2. American Psychological Association 2010. Publication manual of the American Psychological Association (6th ed.) (6 ed.). American Psychological Association, Washington, DC, US.

3. Cyrille Artho, Kenji Taguchi, Yasuyuki Tahara, Shinichi Honiden, and Yoshinori Tanabe. 2008. Teaching Software Model Checking. In Workshop on Formal Methods in Computer Science Education (ENTCS). Elsevier, Budapest, Hungary, 171–179.

4. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.

5. Mordechai Ben-Ari. [n.d.]. Principles of the Spin Model Checker (1 ed.).

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

1. Some Patterns for Architecting Lectures;26th European Conference on Pattern Languages of Programs;2021-07-07

2. Improving Learning by Imitation in Online Courses using Memorization, Learning by Doing and Lecture Architecture for Naive Programmers;2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT);2020-07