Amanote Research
Register
Sign In
Having Fun in Learning Formal Specifications
EasyChair Preprints
doi 10.29007/xb5c
Full Text
Open PDF
Abstract
Available in
full text
Date
March 5, 2019
Authors
Wishnu Prasetya
Craig Leek
Orestis Melkonian
Joris ten Tusscher
Jan van Bergen
Jasper Everink
Thomas van der Klis
Rick Meijerink
Roan Oosenbrug
Jelle Oostveen
Tijmen van den Pol
Wink van Zon
Publisher
EasyChair
Related search
Having Fun in the Heat Transfer Classroom
Creative Education
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time Crawls When You’re Not Having Fun
Personality and Social Psychology Bulletin
Social Psychology
Incremental Validation of Formal Specifications
Enjoy!: The (Phraseological) Culture of Having Fun
Topics in English Linguistics
‘It’s Like Having a Test but in a Fun Way’
Language Teaching for Young Learners
Formal Consistency Checking Over Specifications in Natural Languages
Having Fun With Organized Kissing: A Pedagogical Note
SSRN Electronic Journal
Executing Formal Specifications Need Not Be Harmful
Software Engineering Journal