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