Zobrazeno 1 - 1
of 1
pro vyhledávání: '"van der Klis, Thomas"'
Autor:
Prasetya, I. S. W. B., Leek, Craig Q. H. D., Melkonian, Orestis, Tusscher, Joris ten, van Bergen, Jan, Everink, J. M., van der Klis, Thomas, Kostic, Petar, Meijerink, Rick, Oosenbrug, Roan, Oostveen, Jelle J., Pol, Tijmen van den, de Vries, Mike, van Zon, Wink M.
Publikováno v:
Proceedings of 41th ICSE 2019 --- Software Engineering Education and Training (SEET) track, IEEE, 2019
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
Externí odkaz:
http://arxiv.org/abs/1903.00334
