Applications of Specifications Grading in Computer Science Courses (Abstract Only).

Christian Roberson

Published in: SIGCSE (2017)

Keyphrases

computer science courses
state machines
learning outcomes
high level
delay insensitive
automatic assessment
artificial intelligence
low level
transition systems
information retrieval
decision trees
higher level
specification language
state machine