Amanote Research

Amanote Research

    RegisterSign 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 PrasetyaCraig LeekOrestis MelkonianJoris ten TusscherJan van BergenJasper EverinkThomas van der KlisRick MeijerinkRoan OosenbrugJelle OostveenTijmen van den PolWink van Zon
Publisher

EasyChair


Related search

Having Fun in the Heat Transfer Classroom

Creative Education
2017English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Time Crawls When You’re Not Having Fun

Personality and Social Psychology Bulletin
Social Psychology
2011English

Incremental Validation of Formal Specifications

English

Enjoy!: The (Phraseological) Culture of Having Fun

Topics in English Linguistics
2007English

‘It’s Like Having a Test but in a Fun Way’

Language Teaching for Young Learners
2019English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Having Fun With Organized Kissing: A Pedagogical Note

SSRN Electronic Journal
2008English

Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy