E-Books durchsuchen

Formal Methods – Fun for Everybody [2021]

1
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
2
Axiom Based Testing for Fun and Pedagogy
3
Teaching Formal Methods for Fun Using Maude
4
Fun with Formal Methods for Better Education
5
Adapting to Different Types of Target Audience in Teaching Formal Methods
6
Prototyping Games Using Formal Methods
7
Teaching Model Checking via Games and Puzzles
8
Cybersecurity Education and Formal Methods
9
Teaching Them Early: Formal Methods in School
10
From Stories to Concurrency: How Children Can Play with Formal Methods
11
When the Student Becomes the Teacher
12
Teaching Formal Methods in Academia: A Systematic Literature Review
Feedback