Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jelle J. Oostveen"'
Publikováno v:
Approximation and Online Algorithms ISBN: 9783031183669
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5b934c18dd5dcd4729a8662cb6baa0a
https://doi.org/10.1007/978-3-031-18367-6_11
https://doi.org/10.1007/978-3-031-18367-6_11
Autor:
Tijmen van den Pol, Roan Oosenbrug, Jelle J. Oostveen, Craig Q.H.D. Leek, Wink M. van Zon, I. S. W. B. Prasetya, J. M. Everink, Jan van Bergen, Rick Meijerink, Thomas van der Klis, Orestis Melkonian, Joris ten Tusscher
Publikováno v:
ICSE (SEET)
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ tha