Instantiating Specifications Grading in Computer Science Courses.

David L. Largent

Published in: SIGCSE (2) (2022)

Keyphrases

computer science courses
learning outcomes
delay insensitive
high level
specification language
classical logic

functional requirements
bounded model checking
concurrent systems
design requirements
reactive systems
automatic assessment

control flow
data sets
finite state machines
software systems
collaborative learning

artificial neural networks
learning environment
reinforcement learning
information retrieval
databases